Synchronisation in Extended Robot State Automata | IEEE Conference Publication | IEEE Xplore