NASA's 10 rules for developing safety-critical code
NASA lays out coding standard for developing safe mission-critical code in C; developer applies programming guidelines to JavaScript
Denis Radin Gerardj Holzmann Laboratory For Reliable Software Propulsion Laboratory Reliable Software Developing Safety Critical Code
Source: sdtimes.com