September 8, 2022 Alina Blech: A language for developing reactive, real-time critical embedded software