UML Based Reverse Engineering for the Verification of Railway Control Logics. - Chiara Abbaneo; Francesco Flammini; Armando Lazzaro; Pietro Marmo; Nicola Mazzocca; Angela Sanseviero (DepCoS-RELCOMEX, 2006)