Integrated Formal Methods for Constructing Assurance Cases | IEEE Conference Publication | IEEE Xplore