Nemouchi, Y., Foster, S., Gleirscher, M., Kelly, T., 2019. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-34968-4_21