Model-Based Software Testing and Analysis with C#