Design automation, languages, and simulations - Chen, Wai-Kai, 1936- (Principles and applications in engineering.)