PAMELA: Eine deklarative Programmiersprache für Echtzeit-Anwendungen.