Synchronous programming of device drivers for global resource control in embedded operating systems.