Scheduling distributed real-time systems by satisfiability checking | IEEE Conference Publication | IEEE Xplore