Strict Priority Queueing Theory