Werner Damm Bernhard Josko Amir Pnueli Angelika Votintseva A discrete-time UML semantics for concurrency and communication in safety-critical applications. 81-115 2005 55 Sci. Comput. Program. 1-3 http://dx.doi.org/10.1016/j.scico.2004.05.012 db/journals/scp/scp55.html#DammJPV05