1. RTCA DO-178B (EUROCAE ED-12B). Software considerations in airborne systems and equipment certification. RTCA Inc., Washington, DC; December 1992.
2. CENELEC EN 50128: Railway applications – communication, signalling and processing systems – Software for railway control and protection systems.
3. ECSS-E-ST-40C. Space engineering – Software, ECSS; 06.03.2009.
4. ECSS-Q-ST-80, Space Product Assurance – Software Product Assurance, ECSS, 06/03/2009.
5. Silva N, Lopes R. Overview of 10 Years of ISVV Findings in Safety-Critical Systems. In: Proceedings of the IEEE 23rd international symposium on software reliability engineering work-shops (ISSREW), 2012, vol. no.83; 27–30 Nov. 2012. p. 83.