Chiara Abbaneo Francesco Flammini Armando Lazzaro Pietro Marmo Nicola Mazzocca Angela Sanseviero UML Based Reverse Engineering for the Verification of Railway Control Logics. 3-10 2006 conf/depcos/2006 DepCoS-RELCOMEX http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.55 db/conf/depcos/depcos2006.html#AbbaneoLMF06