Raman Kazhamiakin Paritosh K. Pandya Marco Pistore Representation, Verification, and Computation of Timed Properties in Web. 497-504 2006 conf/icws/2006 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.112 db/conf/icws/icws2006.html#KazhamiakinPP06