Model-Based Software Testing and Analysis with C# by Jacky & Veanes