CACE - a case study in embedded system design. - R. G. Belleman (University of Amsterdam, 1997)