Michel A. Reniers Jan Friso Groote Mark van der Zwaag Jos van Wamel Completeness of Timed mCRL. 361-402 2002 50 Fundam. Inform. 3-4 db/journals/fuin/fuin50.html#ReniersGZW02 http://iospress.metapress.com/content/e6mhmqege282cc6a/