Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller. - Bruno Monsuez; Michel Nakhlé (ICSRS, 2019)