Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems | IEEE Journals & Magazine | IEEE Xplore