MIL-882 Style System Safety