A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. - Günther Zoffmann; Manfred Gingerl; Christian Reumann; Gerald Sonneck (SAFECOMP, 2001)