Title: Certifying Software Component Performance Specifications