Smart card applications : design models for using and programming smart cards - Rankl, Wolfgang (John Wiley & Sons, 2007)