Accurate Centralization for Applying Model Checking on Networked Applications | IEEE Conference Publication | IEEE Xplore