1. Design and Safety Assessment of Critical Systems;Bozzano,2010
2. Certification of software for real-time safety-critical systems: state of the art;Kornecki;Innovations Syst. Softw. Eng.,2009
3. IEC, 61508, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems, 2005.
4. RTCA, DO-178C, Software Considerations in Airborne Systems and Equipment Certification, 2012.
5. CENELEC, EN 50129, Railway Applications – Safety Related Electronic Systems for Signalling, European Committee for Electrotechnical Standardisation, 2003.