RED: model-checker for timed automata with clock-restriction diagram (2001)

by F Wang
Venue:Department of Information Technology, Uppsala University