Baresi, Luciano, Blohm, Gundula, Kolovos, Dimitrios S., Matragkas, Nicholas, Motta, Alfredo, Paige, Richard F., Radjenovic, Alek, Rossi, Matteo, "Formal verification and validation of embedded systems: the UML-based MADES approach", Software and Systems Modeling, 2015