RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. - Bart Wesselink; Koen de Vos; Ivan Kurtev; Michel A. Reniers; Elena Torta (ICRA, 2023)