UL 4600: What to Include in an Autonomous Vehicle Safety Case | IEEE Journals & Magazine | IEEE Xplore