Text this: Model-based software testing and analysis with C♯ / Jonathan Jacky [and others].