European Standards for Safety-Critical Railway Signaling Systems
Aids to Air Navigation - 100 Years of Evolution in Safety-Critical Aviation Systems
Developing a Safety Case for Signalling Systems Which Employ Safety Critical Software
OpenGL ES SC - Open Standard Embedded Graphics API For Safety Critical Applications