Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems | IEEE Journals & Magazine | IEEE Xplore