Practical Model-Based Testing: A Tools Approach
"This topic is hot...and both authors are well known experts in the community of model-based testing." —Wolfgang Grieskamp, Microsoft Research