Mission-critical and safety-critical development | IEEE Journals & Magazine | IEEE Xplore