Asplund, Mikael; Manzoor, Atif; Bouroche, Mélanie; Clarke, Siobhán; Cahill, Vinny
(Springer, 2012)
Increasing demands on safety and energy e ciency will re-
quire higher levels of automation in transportation systems. This in-
volves dealing with safety-critical distributed coordination. In this paper
we demonstrate ...