The Korso case study for software engineering with formal methods - Cornelius, Felix; Hußmann, Heinrich 1959-2022; Löwe, Michael (Technische Universität <Berlin>, 1994)