@article{DBLP:journals/fmsd/ErbasPC07,
author = {Cagkan Erbas and
Andy D. Pimentel and
Selin Cerav-Erbas},
title = {Static priority scheduling of event-triggered real-time
embedded systems},
journal = {Formal Methods in System Design},
volume = {30},
number = {1},
year = {2007},
pages = {29-47},
ee = {http://dx.doi.org/10.1007/s10703-006-0021-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}