Dean Rosenzweig Davor Runje Wolfram Schulte Model-Based Testing of Cryptographic Protocols. 33-60 2005 conf/tgc/2005 TGC http://dx.doi.org/10.1007/11580850_4 db/conf/tgc/tgc2005.html#RosenzweigRS05