Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem. - Philipp Luithardt (Verlag Dr. Hut, 2017)