@TechReport{ aderhold.ea:exemplary:2010, address = {Germany}, author = {Markus Aderhold and Jorge Cu{\'e}llar and Heiko Mantel and Henning Sudbrock}, institution = {TU Darmstadt}, number = {TUD-CS-2010-0060}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2010/2010_TUD-CS-2010-0060-SecureCoding.pdf}, title = {Exemplary Formalization of Secure Coding Guidelines}, year = 2010 }