A modified HOL priority scheduling discipline: Performance analysis · Study