1. The Verisoft approach to systems verification;Alkassar,2008
2. Architecture analysis and design language (AADL);AS5506;Embed. Comput. Syst. Comm. SAE,2004
3. Barmpis, K., Kolovos, D., 2013. Hawk: Towards a scalable model indexing architecture. In: Proceedings of the Workshop on Scalability in Model Driven Engineering. pp. 1–9.
4. CertWare: A workbench for safety case production and analysis;Barry,2011
5. A methodology for safety case development;Bishop,2000