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