Karima Mokhtari Salima Benbernou Mohand-Said Hacid Emmanuel Coquery Frank Leymann Verification of Privacy Timed Properties in Web Service Protocols. 593-594 2008 IEEE SCC (2) http://doi.ieeecomputersociety.org/10.1109/SCC.2008.154 conf/IEEEscc/2008 db/conf/IEEEscc/scc2008.html#MokhtariBHCHL08