Requirements Engineering for Safety-Critical Systems: Overview and Challenges | IEEE Journals & Magazine | IEEE Xplore