Leveraging Multi-Level Modelling to Automatically Design Behavioral Arbitrators in Robotic Controllers. - Cyrill Baumann; Hugo Birch; Alcherio Martinoli (IROS, 2022)