J. Blieberger, G. Schildt: "Versuche der Compiler-Validierung"; Talk: PEARL - Workshop über Realzeitsysteme, Boppard, Germany (invited); 1991-11-28 - 1991-11-29; in: "Informatik-Fachberichte", 295 (1991), 1 - 19.