@ARTICLE{Liggesmeyer2003, author = {Liggesmeyer, P.}, title = {Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme}, journal = {It – Information Technology}, year = {2003}, volume = {45}, pages = {39-45}, number = {1} }