The Tenet real-time protocol suite: design, implementation, and experiences | IEEE Journals & Magazine | IEEE Xplore