Certifying Software Component Performance Specifications - Groenda, Henning (KIT Scientific Publishing)