Meyer, B.2022-03-022022-03-0220083-540-85278-6978-3-540-85278-0https://publica.fraunhofer.de/handle/publica/146861Balancing agility and formalism in software engineering. Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007