An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker | IEEE Conference Publication | IEEE Xplore