Awesome-safety-critical: resources for writing safety-critical softwaregithub.com·6 pts·awesomesafety·5