Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo. Model-Based Evaluation of the Availability of a CBTC System. In Paris Avgeriou, editor, Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Volume 7527 of Lecture Notes in Computer Science, pages 165-179, Springer, 2012. [doi]
Abstract is missing.