Liqun Chen Steve Kremer Mark Dermot Ryan 07421 Executive Summary -- Formal Protocol Verification Applied. 2007 Formal Protocol Verification Applied http://drops.dagstuhl.de/opus/volltexte/2008/1418 conf/dagstuhl/2007P7421 db/conf/dagstuhl/P7421.html#ChenKR07