Arturo M. Amendola Roberto Di Maio M. L. Iacobuzio Fabio Poli Fernando Scalabrini Lessons Learned in Designing and Evaluating Railway Control Systems. 355- 2003 conf/words/2003f WORDS Fall http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1267552 db/conf/words/words2003f.html#AmendolaMIPS03