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