@article{BreuerJungReinert2007, author = {Thomas Breuer and Norbert Jung and Dietmar Reinert}, title = {Qualit{\"a}ts-Check f{\"u}r Safety-Software}, series = {Computer und Automation}, number = {11}, issn = {1615-8512}, pages = {82 -- 86}, year = {2007}, language = {de} }