EEMCS

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) An Automatic SPIN Validation of a Safety Critical Railway Control System. In: Int. Conf. on Dependable Systems and Networks (DSN), New York. pp. 119-124. IEEE Computer Society. ISBN 0-7695-0707-7

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Safety Critical Railway Control System. In: Fifth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, 3-4 Apr 2000, Berlin, Germany. pp. 305-329. GMD-Report 91. GMD - Forschungszentrum Informationstechnik GmbH. ISSN 1435-2702

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Control System in Presence of Byzantine Errors. In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 Mar 2000, Berlin, Germany. pp. 535-549. Lecture Notes in Computer Science 1785. Springer-Verlag. ISBN 3-540-67282-6