Resources for writing safety-critical software