% This file was created with JabRef 2.9.2.
% Encoding: Cp1252

@ARTICLE{arch15spec,
  author = {Roehm, Hendrik and Gmehlich, Rainer and Heinz, Thomas and Oehlerking,
	Jens and Woehrle, Matthias},
  title = {Industrial Examples of Formal Specifications for Test Case Generation},
  journal = {2nd Intern'l Workshop on Applied veRification for Continuous and
	Hybrid Systems (ARCH 2015)},
  year = {2015}
}

