Analysis and testing of matlab simulink models: a systematic mapping study | Publicación