Deakstadieđáhus: Engineering dependable software systems edited by Manfred Broy, Doron Peled and Georg Kalus. [electronic resource] /