C. Abbaneo

An automatic SPIN validation of a safety critical railway control system

Diego Latella, Gabriele Lenzini, Stefania Gnesi, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

A Formal Specification and Validation of a Safety Critical Railway Control System

Diego Latella, Gabriele Lenzini, Stefania Gnesi, 2000 .

TESTING OF A COMPUTER BASED INTERLOCKING SOFTWARE: METHODOLOGY AND ENVIRONMENT.

G. Mongardi, C. Abbaneo, G. Biondi, 1992 .

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors

Diego Latella, Gabriele Lenzini, Stefania Gnesi, 2000, TACAS.