1. OMG, Structured Assurance Case Metamodel (SACM), version 1.1, 〈http://www.omg.org/spec/SACM/1.1/〉, 2015 (accessed 26.09.16), 2016.
2. Astah, Astah GSN editor, 〈http://astah.net/editions/gsn〉, 2015 (accessed 26.09.16), 2016.
3. OpenCert, 〈https://www.polarsys.org/proposals/opencert〉 (accessed 26.09.16), 2016.
4. Assurance cases and prescriptive software safety certification: a comparative study;Hawkins;Saf. Sci.,2013
5. An extended systematic literature review on provision of evidence for safety certification;Nair;Inf. Softw. Technol.,2014