Leonardo Montecchi, Paolo Lollini, Boris Malinowsky, Jesper Grønbæk, Andrea Bondavalli. Model-based analysis of a protocol for reliable communication in railway worksites. In Albert Y. Zomaya, Björn Landfeldt, Ravi Prakash, editors, The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus, October 21-25, 2012. pages 23-32, ACM, 2012. [doi]
Abstract is missing.