Correct system design : recent insights and advances / Steffen, Bernhard Olderog, E.-R System design Computer systems 004 SPR 1999 C149 Or. Berlin ; New York : Springer, c1999 c1999 Text xiv, 415 p. :