Arianna Z. Olivera Salmon, Pedro M. Gonzalez del Foyo, Jose R. Silva. Scheduling real-time systems with periodic tasks using a model-checking approach. In 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014. pages 73-78, IEEE, 2014. [doi]
Abstract is missing.