Scheduler 1-2-3: an interactive schedulability analyzer for real-time systems | IEEE Conference Publication | IEEE Xplore