Dynamic Safety Cases for Through-Life Safety Assurance | IEEE Conference Publication | IEEE Xplore