1. Annable, N.: A model-based approach to formal assurance cases. Master’s thesis, McSCert, Department of Computing and Software, McMaster University (2020)
2. Annable, N., Bayzat, A., Diskin, Z., Lawford, M., Paige, R., Wassyng, A.: Model-driven safety of autonomous vehicles. In: Proceedings of CSER (2020)
3. LNCS;N Annable,2022
4. Annable, N., Chiang, T., Lawford, M., Paige, R.F., Wassyng, A.: Lessons learned building a tool for workflow+. In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 140–150. IEEE (2023)
5. Chiang, T.: Creating an editor for the implementation of WorkFlow+: a framework for developing assurance cases. Master’s thesis, McSCert, Department of Computing and Software, McMaster University (2021)