Reliability '81 3. nat. Zuverlaessigkeitskonf., Vol. 1, 29.April - 1. Mai 1981, Birmingham, GB
Engineering oriented dependability evaluation: MEADEP and its applications
Critical software for nuclear reactors: 11 years of field experience analysis
Creating simulation capabilities
Computational verifiability and feasibility of the ASCI program