Lukas Sauer, Dominik Henrich: Synchronisation in Extended Robot State Automata. IRC 2022: 360-363