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]
@article{DasdanRG98, title = {A timing-driven design and validation methodology for embedded real-time systems}, author = {Ali Dasdan and Dinesh Ramanathan and Rajesh K. Gupta}, year = {1998}, doi = {10.1145/296333.296338}, url = {http://doi.acm.org/10.1145/296333.296338}, tags = {design}, researchr = {https://researchr.org/publication/DasdanRG98}, cites = {0}, citedby = {0}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {3}, number = {4}, pages = {533-553}, }