The Power of Ten: rules for developing safety critical code [pdf] | Not Hacker News!