Constrained software and runtime system generation for embedded applications - Gupta, Rajesh K.; De Micheli, Giovanni 1955- (Univ. of Ill., Dep. of Computer Science, 1994)