Patrice Marcel Andre Bremond-Gregoire
Univ. of Pennsylvania, Philadelphia
A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems
Real-Time Systems
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering