Leveraging Multi-Level Modelling to Automatically Design Behavioral Arbitrators in Robotic Controllers | IEEE Conference Publication | IEEE Xplore