Optimal server allocation for real time computing systems with bursty priority jobs | IEEE Conference Publication | IEEE Xplore