Valeria Vittorini Mauro Iacono Nicola Mazzocca Giuliana Franceschinis The OsMoSys approach to multi-formalism modeling of systems. 68-81 2004 3 Software and System Modeling 1 http://dx.doi.org/10.1007/s10270-003-0039-5 db/journals/sosym/sosym3.html#VittoriniIMF04