Transformation of non-standard nuclear I&C logic drawings to formal verification models | IEEE Conference Publication | IEEE Xplore