A timing-driven design and validation methodology for embedded real-time systems

Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta. A timing-driven design and validation methodology for embedded real-time systems. ACM Trans. Design Autom. Electr. Syst., 3(4):533-553, 1998. [doi]

Abstract

Abstract is missing.