1. Model-driven separation of concerns for service robotics. In International Workshop on Domain-Specific Modeling, co-located with SPLASH 2016;Adam,2016
2. UltraDES-a library for modeling, analysis and control of discrete event systems;Alves;IFAG-PapersOnLine,2017
3. A survey on domain-specific modeling and languages in robotics;Arne;Journal of Software Engineering for Robotics,2016
4. Blech, J.O. and Schmidt, H. (2014). BeSpaceD Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. Technical report. URL https://arxiv.org/pdf/1404.3537.pdf.
5. The SMACH high-level executive;Bohren;IEEE Robotics & Automation Magazine,2010