Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems - Eberhardinger, Benedikt; Habermaier, Axel; Hoffmann, Alwin; Poeppel, Alexander; Reif, Wolfgang (2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), Software Quality, Reliability and Security Companion (QRS-C), 2016 IEEE International Conference on, 2016)