An Automatic SPIN Validation of a Safety Critical Railway Control System. - Stefania Gnesi; Diego Latella; Gabriele Lenzini; C. Abbaneo; Arturo M. Amendola; P. Marmo (DSN, 2000)

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. - Stefania Gnesi; Diego Latella; Gabriele Lenzini; C. Abbaneo; Arturo M. Amendola; P. Marmo (TACAS, 2000)