IEEE Standard for Fail-Safe Design of Autonomous and Semi-Autonomous Systems: Putting Principles Into Practice | IEEE Journals & Magazine | IEEE Xplore