Validation Coverage for a Component-based SDL model of a Railway Signaling System. - Michele Banci; Marcello Becucci; Alessandro Fantechi; Emilio Spinicci (TACoS, 2004)

Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. - Michele Banci; Alessandro Fantechi (FMICS, 2004)

Instantiating generic charts for railway interlocking systems. - Michele Banci; Alessandro Fantechi (FMICS, 2005)

Statecharts Composition to Model Topologically Distributed Applications. - Michele Banci; Alessandro Fantechi; Stefania Gnesi (Trans. SDPS, 2006)

Model Driven Development and Code Generation: An Automotive Case Study. - Michele Banci; Alessandro Fantechi; Stefania Gnesi; Giovanni Lombardi (SDL Forum, 2007)

Experimenting with diversity in the model driven development of a railway signaling system. - Michele Banci; Alessandro Fantechi; Stefania Gnesi; Giovanni Lombardi (EFTS, 2007)

Model driven development of railway systems using diversity. - Michele Banci; Stefania Gnesi; Alessandro Fantechi; Giovanni Lombardi (Comput. Syst. Sci. Eng., 2008)