Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso. An industrial application of formal model based development: the Metrô Rio ATP case. In Giovanna Di Marzo Serugendo, John S. Fitzgerald, editors, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010. pages 71-76, ACM, 2010. [doi]
Abstract is missing.