Michael Mendler
EMSOFT 2023: 23rd International Conference on Embedded Software
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines
EMSOFT 2017: 17th International Conference on Embedded Software
Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction