Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli: Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE 85(3): 366-390 (1997)