Practical model-based testing a tools approach - Utting, Mark (Morgan Kaufmann Publishers, 2006)