Bruno LegeardBooksSoftware Testing IndustrializationPractical model-based testingModel-Based Testing Essentials - Guide to the ISTQB Certified Model-Based TesterAuthor data: Open Library