Automatic Analysis of a Safety Critical Tele Control System. - Edoardo Campagnano; Ester Ciancamerla; Michele Minichino; Enrico Tronci (SAFECOMP, 2005)