@article{BMM12,
title = {Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems },
author = {Berthier, Nicolas and Maraninchi, Florence and Mounier, Laurent},
year = {2012},
note = {Selected papers from LCTES'11, TO APPEAR},
journal = {ACM Transactions on Embedded Computing Systems (TECS)},
team = {SYNC,DCS,PACSS},
}