"A Real-Time Framework for Multiprocessor Platforms Using Ada 2012."

Sergio Sáez, Silvia Terrasa, Alfons Crespo (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics