A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases | IEEE Conference Publication | IEEE Xplore