1. AssureNote. https://github.com/AssureNote/AssureNote
2. Impact case study - University of York. https://impact.ref.ac.uk/CaseStudies/CaseStudy.aspx?Id=43445
3. PREEVision. https://vector.com/vi_preevision-iso26262_en.html
4. SMS Pro. https://www.asms-pro.com/Modules/SafetyAssurance/SafetyCaseStudy.aspx
5. TurboAC. http://www.gessnet.com/products