Simulation-based validation of protocols for concurrent systems | IEEE Conference Publication | IEEE Xplore