A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems.