Gehrke, M.2022-03-022022-03-022007https://publica.fraunhofer.de/handle/publica/1462184th Workshop on Object-oriented Modelling of Embedded Real-Time Systems, OMER 2007. Preliminary Proceedings