Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., …Rossi, M. (2015). Formal verification and validation of embedded systems: the UML-based MADES approach. Software and Systems Modeling, 14(1), 343-363. https://doi.org/10.1007/s10270-013-0330-z