Pre-run-time scheduling of distributed real-time systems: models and algorithms - VERHOOSEL, JACOBUS PHILOMENA C. (Technische Universiteit Eindhoven, 1995)