@article{SoSyM2004, author = {Valeria Vittorini and Mauro Iacono and Nicola Mazzocca and Giuliana Franceschinis}, title = {{The OsMoSys approach to multi-formalism modeling of systems}}, journal = {Software and System Modeling}, volume = {3}, number = {1}, year = {2004}, pages = {68-81} }