G. Schildt: "Static and Dynamic Approaches to Validate Safety-Critical Software"; Talk: IAEA Technical Committee Meeting, Vienna, Austria; 1993; in: "Proc. IAEA Specialists' Meeting", (1993).