Model-based Security Analysis of the German Health Card Architecture - Jürjens, J; Rumm, R (Methods Inf Med, 2008)