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 A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems. 281-290 2006 conf/compsac/2006 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.11 db/conf/compsac/compsac2006-1.html#SunLM06