Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni. Modeling Guidelines for Code Generation in the Railway Signaling Context. In Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu, editors, First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. Volume NASA/CP-2009-215407 of NASA Conference Proceedings, pages 166-170, 2009.
Abstract is missing.