Edoardo Campagnano Ester Ciancamerla Michele Minichino Enrico Tronci Automatic Analysis of a Safety Critical Tele Control System. 94-107 2005 conf/safecomp/2005 SAFECOMP http://dx.doi.org/10.1007/11563228_8 db/conf/safecomp/safecomp2005.html#CampagnanoCMT05