Ricardo Corin Sandro Etalle Pieter H. Hartel Angelika Mader Timed analysis of security protocols. 619-645 2007 15 Journal of Computer Security 6 http://iospress.metapress.com/content/6258u52075288473/ db/journals/jcs/jcs15.html#CorinEHM07