Specification and analysis of timing constraints for embedded systems - Gupta, Rajesh K.; De Micheli, Giovanni 1955- (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1996)