"Practical Model-Based Testing: A Tools Approach" - читать интересную книгу автора (Mark Utting, Bruno Legeard)