Performance modelling of a priority scheduling system with exhaustive service, finite capacity and switchover | IEEE Conference Publication | IEEE Xplore