Jan Trowitzsch, Armin Zimmermann. Using UML state machines and petri nets for the quantitative investigation of ETCS. In Luciano Lenzini, Rene L. Cruz, editors, Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006. Volume 180 of ACM International Conference Proceeding Series, pages 34, ACM, 2006. [doi]
Abstract is missing.