Design automation for embedded systems (Springer New York, 1996)