1. FP7 Project INESS - Deliverable D.1.5 report on translation of requirements from text to UML. Technical report (2009)
2. Banci, M., Fantechi, A., Gnesi, S.: The role of formal methods in developing a distribuited railway interlocking system. In: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT, Braunschweig, Germany, pp. 79–91 (2004)
3. Banci, M., Fantechi, A.: Geographical versus functional modelling by statecharts of interlocking systems. Electr. Notes Theor. Comput. Sci. 133, 3–19 (2005).
https://doi.org/10.1016/j.entcs.2004.08.055
4. Lecture Notes in Computer Science;S Basagiannis,2006
5. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119–135 (2011).
https://doi.org/10.1016/j.scico.2010.07.002