Software Development for Real-Time Safety-Critical Applications | IEEE Conference Publication | IEEE Xplore