Maria Paola Cabasino L. Contini Alessandro Giua Carla Seatzu A. Solinas A software platform for the integration of discrete event systems tools. 45-51 2011 CASE http://dx.doi.org/10.1109/CASE.2011.6042509 conf/case/2011 db/conf/case/case2011.html#CabasinoCGSS11