A taxonomy of model-based testing approaches. - Utting, Mark; Pretschner, Alexander; Legeard, Bruno (Softw. Test. Verification Reliab., 2012)