Parametric timing analysis for real-time systems
scientific article; zbMATH DE number 987864