Efficient engineering of safety-critical, software-intensive systems | IEEE Conference Publication | IEEE Xplore