TY - RPRT TI - An Approach to Maintaining Safety Case Evidence After A System Change AU - Omar Jaradat AU - Patrick Graydon AU - Iain Bate PY - 2014 UR - https://arxiv.org/abs/1404.6846 ID - 1404.6846 ER -