TimeBench: a CAD tool for real-time system design. - Raymond J. A. Buhr; Gerald M. Karam; C. Murray Woodside; Ronald S. Casselman; Greg Franks; H. Scott; D. Bailey (SETA, 1994)