@InProceedings{	  inp:vsegroup1998a,
  author	= {Dieter Hutter and Heiko Mantel and Georg Rock and Werner
		  Stephan and Andreas Wolpers and Michael Balser and Wolfgang
		  Reif and Gerhard Schellhorn and Kurt Stenzel},
  title		= {{VSE: Controlling the Complexity in Formal Software
		  Developments}},
  booktitle	= {Proceedings of the International Workshop on Current
		  Trends in Applied Formal Methods (FM-Trends)},
  pages		= {351--358},
  year		= 1998,
  series	= {LNCS 1641},
  address	= {Boppard, Germany},
  month		= {October},
  publisher	= {Springer}
}