Model-based testing for software safety: a systematic mapping study. - Gurbuz, Havva Gulay; Tekinerdogan, Bedir (Software Quality Journal, 2018)