Revisiting the Schedule Graph Generation for the Exact and Sustainable Analysis of Non-preemptive Scheduling. - Marek Vlk; Marek Jaros; Zdenek Hanzálek (CoRR, 2024)