Title: Eine funktionale, synchrone Programmiersprache für eingebettete Echtzeitsysteme