Model-based testing essentials : guide to the ISTQB certified model-based tester foundation level - Kramer, Anne; Legeard, Bruno (John Wiley & Sons Inc., 2016)