Formal verification and validation of embedded systems: the UML-based MADES approach. - Luciano Baresi; Gundula Blohm; Dimitrios S. Kolovos; Nicholas Drivalos Matragkas; Alfredo Motta; Richard F. Paige; Alek Radjenovic; Matteo Rossi 001 (Softw. Syst. Model., 2015)