Reinhard von Hanxleden
EMSOFT 2017: 17th International Conference on Embedded Software
Runtime Enforcement of Cyber-Physical Systems
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
SyncCharts in C: a Proposal for Light-Weight, Deterministic Concurrency