7009-2024 - IEEE Standard for Fail-Safe Design of Autonomous and Semi-Autonomous Systems | IEEE Standard | IEEE Xplore