W A Halang
-
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
IEEE Transactions on Software Engineering
A Development Environment for Complex Distributed Real-Time Applications