@MastersThesis{ amann:spezifikation:2009, author = {Sven Amann}, school = {TU Darmstadt}, month = {July}, title = {Spezifikation und Codegenerierung von Sicherheitsautomaten}, type = {Bachelor Thesis}, year = 2009 }