Martin Proetzsch Fabian Zimmermann Robert Eschbach Johannes Kloos Karsten Berns A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. 317-324 2010 KI https://doi.org/10.1007/978-3-642-16111-7_36 conf/ki/2010 db/conf/ki/ki2010.html#ProetzschZEKB10