Detection and Mitigation of Functional Insufficiencies in Autonomous Vehicles: The Safety Shell | IEEE Conference Publication | IEEE Xplore