@inproceedings{inproceedings4c86d5bd,
title   = {Scheduling real-time systems with periodic tasks using a model-checking approach},
author = {Olivera Salmon, Arianna Zoila and González Del Foyo, Pedro Manuel and Silva, José Reinaldo},
year = {2014},
publisher = {IEEE},
booktitle   = {International Conference on Industrial Informatics - INDIN}
}