Axel Poigné Matthew Morley Olivier Maffeïs Leszek Holenderski Reinhard Budde The Synchronous Approach to Designing Reactive Systems. 163-187 1998 12 Formal Methods in System Design 2 db/journals/fmsd/fmsd12.html#PoigneMMHB98