Conrado Daws Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems. 542-545 1998 conf/cav/1998 CAV db/conf/cav/cav98.html#Daws98 http://dx.doi.org/10.1007/BFb0028778