Ten rules for developing safety critical software (from @NASA JPL): http://pixelscommander.com/wp-content/uploads/2014/12/P10.pdf