Cate: A System for Analysis and Test of Java Card Applications. - Peter Pfahler; Jürgen Günther (SOQUA/TECOS, 2004)