A Design and Implementation of an Assurance Case Language | IEEE Conference Publication | IEEE Xplore