JPL also published a C coding standard, which details language constructs that one should and shouldn't use in a mission critical embedded system. Some of the rules make a reappearance there (the "Power of Ten" article is mentioned in the introduction).

http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf