Coordination of Concurrent Mobile Robot Motion Processes with Composite Automaton Supervisor. - Elzbieta Roszkowska; Piotr Dulewicz; Lukasz Janiec (MMAR, 2018)