Scheduling real-time systems with periodic tasks using a model-checking approach | IEEE Conference Publication | IEEE Xplore