Arguing safety of an improved autonomous vehicle from safe operation before the change: new results | IEEE Conference Publication | IEEE Xplore