Susanne Graf OMEGA: correct development of real time and embedded systems. 127-130 2008 7 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-007-0077-5 db/journals/sosym/sosym7.html#Graf08