May-Happen-in-Parallel Analysis for Priority-Based Scheduling | Publicación