@Article{	  ar:vsegroup00a,
  author	= {Serge Autexier and Dieter Hutter and Bruno Langenstein and
		  Heiko Mantel and Georg Rock and Axel Schairer and Werner
		  Stephan and Roland Vogt and Andreas Wolpers},
  title		= {{VSE: Formal Methods Meet Industrial Needs}},
  journal	= {International Journal on Software Tools for Technology
		  Transfer (STTT)},
  year		= 2000,
  editor	= {B.~Steffen and W.~R.~Cleaveland and M.~Dwyer and
		  P.~Pomberger and T.~Margaria},
  volume	= 3,
  number	= 1,
  pages		= {66--77},
  publisher	= {Springer}
}