Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration. - Klaus Echtle; Thorsten Kimmeskamp (MMB/DFT, 2010)

Entfernte Redundanz: Beschreibung, Analyse und Bewertung eines neuartigen Architekturkonzeptes für fehlertolerante Steuerungssysteme (Remote Redundancy: Description, Analysis and Evaluation of a Novel Architecture Concept for Fault-Tolerant Control Systems) - Thorsten Kimmeskamp (2012)