@article{hutter2000formal,
  title={Formal software development in the Verification Support Environment (VSE)},
  author={Hutter, Dieter and Langenstein, Bruno and Rock, Georg and Siekmann, J{\"o}rg H and Stephan, Werner and Vogt, Roland},
  journal={Journal of Experimental \& Theoretical Artificial Intelligence},
  volume={12},
  number={4},
  pages={383--406},
  year={2000},
  publisher={Taylor \& Francis}
}