Wojciech Mostowski Erik Poll Julien Schmaltz Jan Tretmans Ronny Wichers Schreur Model-Based Testing of Electronic Passports. 207-209 2009 FMICS http://dx.doi.org/10.1007/978-3-642-04570-7_19 conf/fmics/2009 db/conf/fmics/fmics2009.html#MostowskiPSTS09