Entwurfsmethodik für reaktive Systeme (ruhend) https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/PMI/forschung/algebraische-systembeschreibung/entwurfsmethodik-fur-reaktive-systeme-ruhend/
oder ob die Sprache angepaßt werden muß, um solche Schritte