Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo. An Automatic SPIN Validation of a Safety Critical Railway Control System. In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA. pages 119-124, IEEE Computer Society, 2000. [doi]
Abstract is missing.