Arjen van Weelden Martijn Oostdijk Lars Frantzen Pieter W. M. Koopman Jan Tretmans On-the-Fly Formal Testing of a Smart Card Applet. 565-576 2005 conf/sec/2005 SEC db/conf/sec/sec2005.html#WeeldenOFKT05