Re-configuration of task in flight critical system: error detection and control
Wahrscheinlichkeitsbasierte Fehlererkennung und -behandlung für ein drive-by-wire Versuchsfahrzeug
A technique for specifying dynamically reconfigurable embedded systems
Electrical SCADA systems from the operators perspective
Orbital-X: Fehlertoleranter Rechner für Raumfahrtanwendungen