A methodology for structured object-oriented elicitation and analysis of temporal constraints in hardware/software co-analysis and co-design of real-time systems | IEEE Conference Publication | IEEE Xplore