Günther Zoffmann Manfred Gingerl Christian Reumann Gerald Sonneck A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. 166-175 2001 conf/safecomp/2001 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/2187/21870166.htm db/conf/safecomp/safecomp2001.html#ZoffmannGRS01