Evolution of safety-critical requirements post-launch | IEEE Conference Publication | IEEE Xplore