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