Model-Based Software Testing and Analysis with C#: Modeling Objects