Modeling Real-Time Systems with SCR. An Evaluation and Lessons Learned in a Building Automation System Project

Baum, L.L.BaumDellen, B.B.DellenKamsties, E.E.KamstiesKnethen, A. vonA. vonKnethenVorwieger, S.S.Vorwieger2022-03-072022-03-071997https://publica.fraunhofer.de/handle/publica/289150en004005006Modeling Real-Time Systems with SCR. An Evaluation and Lessons Learned in a Building Automation System Projectbook