Model-based analysis of a protocol for reliable communication in railway worksites.

Leonardo Montecchi, Paolo Lollini, Boris Malinowsky, Jesper Grnbk, Andrea Bondavalli

Browse the full MSWIM paper archive.