Reducing the number of clock variables of timed automata.

Conrado Daws Sergio Yovine Reducing the number of clock variables of timed automata. 73-81 1996 conf/rtss/1996 IEEE Real-Time Systems Symposium http://dlib.computer.org/conferen/rtss/7689/pdf/76890073.pdf db/conf/rtss/rtss1996.html#DawsY96