Tactical Safety Reasoning - A Case for Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore