@inproceedings{SPB+13f,
title = {Time-Triggered Mixed-Critical Scheduler },
author = {Socci, Dario and Poplavko, Petro and Bensalem, Saddek and Bozga, Marius},
year = {2013},
booktitle = {1st International Workshop on Mixed Criticality Systems (WMC)},
team = {DCS, RSD},
}
