Correct System Design Recent Insights and Advances - Olderog, Ernst-Rüdiger; Olderog, Ernst-Rüdiger; Steffen, Bernhard; Steffen, Bernhard (Springer Berlin Heidelberg : Imprint: Springer, 1999)