Work-in-Progress: Models and Tools to Detect Real-Time Scheduling Anomalies | IEEE Conference Publication | IEEE Xplore