Transformation of non-standard nuclear I&C logic drawings to formal verification models. - Antti Pakonen; Prasun Biswas; Nikolaos Papakonstantinou (IECON, 2020)