The craft of model-based testing - Jorgensen, Paul (CRC Press, 2017)