Highly Integrated Task and Resource Scheduling for Mission-Critical Systems. - Horst F. Wedde; Bogdan Korel; Jon A. Lind (RTS, 1993)

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)

Building Large, Complex, Distributed Safety-Critical Operating Systems. - Horst F. Wedde; Jon A. Lind (Real Time Syst., 1997)

Integration of task scheduling and file services in the safety-critical system MELODY. - Horst F. Wedde; Jon A. Lind (ECRTS, 1998)

Distributed real-time task monitoring in the safety-critical system Melody. - Horst F. Wedde; Jon A. Lind; Guido Seghert (ECRTS, 1999)

Novel Principles for Developing and Evaluating Distributed Safety-Critical Systems. - Horst F. Wedde; Jon A. Lind (ISADS, 1999)

Realization of the highly integrated distributed real time safety critical system MELODY. - Jon A. Lind (1999)