Robert de Simone Charles André Towards a "Synchronous Reactive" UML profile? 146-155 2006 8 STTT 2 http://dx.doi.org/10.1007/s10009-005-0206-9 db/journals/sttt/sttt8.html#SimoneA06