Dieter Hutter Bruno Langenstein Georg Rock Jörg H. Siekmann Werner Stephan Roland Vogt Formal software development in the Verification Support Environment (VSE). 383-406 2000 12 J. Exp. Theor. Artif. Intell. 4 db/journals/jetai/jetai12.html#HutterLRSSV00