Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside, Ronald S. Casselman, Greg Franks, H. Scott, D. Bailey. TimeBench: a CAD tool for real-time system design. In Patricia A. Oberndorf, editor, Proceedings of the Second International Symposium on Environments and Tools for Ada, SETA 1994, Washington, D.C., USA, 1994. pages 3-15, ACM, 1994. [doi]
Abstract is missing.