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