Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Postprint
Published in: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.