@phdthesis{Mertke2004, author = {Thomas Mertke}, title = {Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache}, type = {doctoralthesis}, pages = {XV, 225}, year = {2004}, }