@inproceedings{SPB+15a,
title = { A Timed-Automata Based Middleware for Time-Critical Multicore Applications },
author = {Socci, Dario and Poplavko, Peter and Bensalem, Saddek and Bozga, Marius},
year = {2015},
booktitle = {2015 {IEEE} International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, {ISORC} Workshops 2015, Auckland, New Zealand, April 13-17, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
team = {DCS, RSD},
}
