Approximating Push-In First-Out Behaviors using Strict-Priority Queues - View it on GitHub