Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment. - Paolo Prinetto; Alfredo Benso; Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Arturo M. Amendola; Leonardo Impagliazzo; P. Marmo (EURO-DAC, 1996)

Experimental Evaluation of Computer-Based Railway Control Systems. - Arturo M. Amendola; Leonardo Impagliazzo; P. Marmo; Fabio Poli (FTCS, 1997)

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)