Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction. - Yimi Zhao; Srinidhi Srinivasan; Geoffrey Nelissen; Mitra Nasri (RTSS, 2023)