Mathematical model of simplified Constrained Priority Countdown Freezing protocol | IEEE Conference Publication | IEEE Xplore