Felice Balarin Approximate reachability analysis of timed automata. 52-61 1996 conf/rtss/1996 IEEE Real-Time Systems Symposium http://computer.org/proceedings/rtss/7689/76890052abs.htm db/conf/rtss/rtss1996.html#Balarin96