Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems | IEEE Journals & Magazine | IEEE Xplore