Holger Hermanns, David N. Jansen, Yaroslav S. Usenko. From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005. pages 13-23, ACM, 2005. [doi]
Abstract is missing.