List of resources about programming practices for writing safety-critical software. - View it on GitHub