Framework for a Case Study Based Course in Safety and Mission Assurance for Space Systems | IEEE Conference Publication | IEEE Xplore