selected publications chapter Model Based Quality Assurance for a Robotic Software Architecture. Springer eBooks. 373-389. 2010