Cornero, MarcoThoen, MichaelGoossens, GertCuratelli, F.2021-09-292021-09-291995https://imec-publications.be/handle/20.500.12860/571Software synthesis for real-time information processing systemsBook chapter