Thoen, FilipFilipThoen2021-10-142021-10-141999-05https://imec-publications.be/handle/20.500.12860/3878Model-Based Synthesis of Real-Time Embedded SoftwarePHD thesis