Christian Menard Deterministic Reactive Programming for Cyber-physical Systems. 2024 Dresden University of Technology, Germany https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-916872 https://d-nb.info/1331665248