Dominik Haneberg Gerhard Schellhorn Holger Grandy Wolfgang Reif Verification of Mondex electronic purses with KIV: from transactions to a security protocol. 41-59 2008 20 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-007-0057-0 db/journals/fac/fac20.html#HanebergSGR08