Formal Modeling for a Real-Time Scheduler and Schedulability Analysis.

Sung-Jae Kim, Jin-Young Choi

Browse the full PACT paper archive.