Model-checking infinite-state nuclear safety I&C systems with nuXmv | IEEE Conference Publication | IEEE Xplore