Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi. Experimenting with diversity in the model driven development of a railway signaling system. In Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky, editors, Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. pages 5, ACM, 2007. [doi]
Abstract is missing.