Dependability Modeling and Analysis of Complex Control Systems: an Application to Railway (1996)

by M Nelli, A Bondavalli, L Simoncini
Venue:Interlocking”, EDCC-2 European Dependable Computing Conference, Lecture Notes in Computer Science N. 1150