A software platform for the integration of discrete event systems tools. - Maria Paola Cabasino; Luca Contini; Alessandro Giua; Carla Seatzu; Antonio Solinas (CASE, 2011)