Modelling and Verification of Layered Security Protocols: A Bank Application. - Johannes Grünbauer; Helia Hollmann; Jan Jürjens; Guido Wimmel (SAFECOMP, 2003)