//-->
Hardware certification for real-time safety-critical systems: State of the art
Kornecki, Andrew J., (2010)
Programming languages for use in safety-related applications
Halang, Wolfgang A., (2003)
Safety of computer control systems: challenges and results in software development
Zalewski, Janusz, (2003)