Stepwise development of dependable systems - Troubitsyna, Elena A. (TUCS dissertations,, 2000)