Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
Marco SerafiniPéter BokorNeeraj SuriJonny VinterAstrit AdemajWolfgang BrandstätterFulvio TagliaboJens KochPublished in: IEEE Trans. Dependable Secur. Comput. (2011)