Efficient implementation of semaphores in controller area networks | IEEE Journals & Magazine | IEEE Xplore