Certification of software for real-time safety-critical systems: state of the art

Andrew J. Kornecki, Janusz Zalewski. Certification of software for real-time safety-critical systems: state of the art. ISSE, 5(2):149-161, 2009. [doi]

Abstract

Abstract is missing.