Scheduling real-time systems with periodic tasks using a model-checking approach. - Arianna Z. Olivera Salmon; Pedro M. Gonzalez del Foyo; Jose R. Silva (INDIN, 2014)