The Craft of Model-Based Testing - Paul C. Jorgensen (Taylor and Francis, 2017)