Denney, E., Pai, G., & Pohl, J. (2012). Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on, 199-208. https://doi.org/10.1109/ICECCS20050.2012.6299215

Denney, Ewen, Ganesh Pai, and Josef Pohl. "Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal." 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on 2012: 199-208. https://doi.org/10.1109/ICECCS20050.2012.6299215.

Denney, Ewen, et al. "Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal." 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on, 2012, pp. 199-208, https://doi.org/10.1109/ICECCS20050.2012.6299215.