G. Sonneck

Probability of Hazardous Human Exposure from Space Based Lasers

F. Rattay, K. Schulmeister, D. Sliney, 2000 .

A probabilistic risk analysis model for receiving laser eye injury from space based lasers

David H. Sliney, F. Rattay, Karl Schulmeister, 2002 .

A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module

Walter Kuhn, Georg Droschl, Gerald Sonneck, 2000, SAFECOMP.