A Case Study: Injecting Safety-Critical Thinking into Graduate Software Engineering Projects | IEEE Conference Publication | IEEE Xplore