Achieving Dependability in Mission-Critical Operating Systems Through Adaptability and Large-Scale Functional Integration. - Horst F. Wedde; Jon A. Lind; Andreas Eiss (ICPADS, 1994)

Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems. - Horst F. Wedde; Jon A. Lind; Andreas Eiss (RTS, 1995)