Robert B. France Bernhard Rumpe Correct development of real time and embedded systems. 125 2008 7 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-008-0087-y db/journals/sosym/sosym7.html#FranceR08a