Nicolas Berthier, Florence Maraninchi, Laurent Mounier. Synchronous programming of device drivers for global resource control in embedded operating systems. In Jan Vitek, Bjorn De Sutter, editors, Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. pages 81-90, ACM, 2011. [doi]
Abstract is missing.