eds.: Practical Model-Based Testing (2007)

by M Utting, B Legeard