1. Adelard, A.: The Adelard safety case development manual. Adelard (1998)
2. Johnson, C.: Using assurance cases and Boolean logic driven Markov processes to formalise cyber security concerns for safety-critical interaction with global navigation satellite systems, vol. 45. (2011)
3. Kläs, M., Adler, R., Jöckel, L., Groß, J., Reich, J.: Using complementary risk acceptance criteria to structure assurance cases for safety-critical AI components. AISafety@ IJCAI (2021)
4. Šljivo, I., Uriagereka, G.J., Puri, S., Gallina, B.: Guiding assurance of architectural design patterns for critical applications, vol. 110, p. 101765. (2020)
5. Ray, A., Cleaveland, R.: Security assurance cases for medical cyber–physical systems. 32(5):56–65 (2015)