Engineering dependable software systems - Broy, Manfred, 1949-; Peled, Doron A., 1962-; Kalus, Georg (IOS Press, 2013)
Obsahuje bibliografii a rejstřík