Using Model Checking to Analyze the System Behavior of the LHC Production Grid | IEEE Conference Publication | IEEE Xplore