Explicit-state and symbolic model checking of nuclear I&C systems: A comparison | IEEE Conference Publication | IEEE Xplore