Cees J. Koomen: Towards a Specification and Design Method for Embedded Systems Using Protocol Synthesis. ICCC 1986: 491-496