Model-based and rule-based synthesis of operating procedures for planning severe accident management strategies. (May 2020)