Time-budgeting: a component based development methodology for real-time embedded systems
scientific article; zbMATH DE number 6609443