Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM. - Foster, Simon; Nemouchi, Yakoub; Gleirscher, Mario; Wei, Ran; Kelly, Tim (ITNOW, 2021)