Guangyuan Li Zhisong Tang Modelling Real-Time Systems with Continuous-Time Temporal Logic. 231-236 2002 conf/icfem/2002 ICFEM http://link.springer.de/link/service/series/0558/bibs/2495/24950231.htm db/conf/icfem/icfem2002.html#LiT02