Jürjensand Rumm. Model-based Security Analysis of the German Health Card Architecture. Schattauer GmbH, 2008, doi:10.3414/me9122.