Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller | IEEE Conference Publication | IEEE Xplore