P7009/D1.1, Mar 2024 - IEEE Draft Standard for Fail-Safe Design of Autonomous and Semi-Autonomous Systems | IEEE Standard | IEEE Xplore