Reliable Software Technologies Ada-Europe 2000 by H.B. Keller & Erhard Pleodereder