Ernst-Rüdiger Olderog Henning Dierks Moby/RT: A Tool for Specification and Verification of Real-Time Systems. 88-105 2003 9 J. UCS 2 http://www.jucs.org/jucs_9_2/mobyrt_a_tool_for db/journals/jucs/jucs9.html#OlderogD03