A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems.

Yan Sun, Xiaoqing Frank Liu, Bruce M. McMillin

Browse the full COMPSAC paper archive.