Softwarezuverlässigkeit - Kopetz, Hermann (rz1, 1976)