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