A. Datta and V. Singhal, Formal Verification of a Public-Domain DDR2 Controller Design, 21st International Conference on VLSI Design (VLSID 2008), 2008.
DOI : 10.1109/VLSI.2008.94

P. Bourdil, S. Dal-zilio, and E. Jenn, Integrating Model Checking in an Industrial Verification Process, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01341701

M. Clabaut, N. Ge, N. Breton, E. Jenn, R. Delmas et al., Industrial grade model checking, ERTSS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01291365

R. Hawkins, T. Kelly, J. Knight, and P. Graydon, A new approach to creating clear safety arguments, Advances in Systems Safety, 2011.

J. Rushby, On the interpretation of assurance case arguments, 2nd Int. Workshop on Argument for Agreement and Assurance (AAA), 2015.

S. Cruanes, G. Hamon, S. Owre, and N. Shankar, Tool Integration with the Evidential Tool Bus, Proc. of VMCAI, 2013.
DOI : 10.1007/978-3-642-35873-9_18

E. Denney and G. Pai, Evidence arguments for using formal methods in software certification, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2013.
DOI : 10.1109/ISSREW.2013.6688924

J. M. Rushby, An Evidential Tool Bus, ICFEM, 2005.
DOI : 10.1007/11576280_3

M. R. Barry, CertWare: A workbench for safety case production and analysis, 2011 Aerospace Conference, 2011.
DOI : 10.1109/AERO.2011.5747648

C. M. Holloway, Explicate'78: Uncovering the Implicit Assurance Case in DO-178C in SCSC Annual symposium, 2015.