@InProceedings{	  bender.ea:model:2002,
  abstract	= {This paper gives an overview of our approach to the
		  development of discrete-continuous systems in a general
		  model based setting. This includes formalized description
		  techniques, CASE support for modeling and simulation, and
		  test harness as well as test case generation. HyROOM is
		  presented, a formally founded notation for the integration
		  of continuous activities into MaSiEd, a CASE tool prototype
		  based on the ROOM methodology.In addition, an approach to
		  the automated generation of test cases for discrete and
		  also discretized hybrid systems specified within a second
		  CASE tool, AutoFocus, is presented.},
  author	= {K. Bender and M. Broy and I. P{\'e}ter and A. Pretschner
		  and T. Stauner},
  booktitle	= {Modelling, Analysis, and Design of Hybrid Systems},
  copyright	= {Springer},
  language	= {USenglish},
  month		= {July},
  pages		= {37--52},
  publisher	= {Springer},
  series	= {LNCIS},
  title		= {Model based development of hybrid systems: specification,
		  simulation, test case generation},
  volume	= 279,
  year		= 2002,
  user		= {pretscha}
}