3 ms·JPLs' “The Power of 10: Rules for Developing Safety-Critical Code” (2006) [pdf]1 points by arpa 8y ago