Smart card applications design models for using and programming smart cards - Rankl, W. (Wolfgang) (Wiley, 2007)