@article {16337,
	title = {Specification-based Testing of Reactive Software: A Case Study in Technology Transfer},
	journal = {Journal of Systems and Software},
	volume = {40},
	year = {1998},
	month = {1998///},
	pages = {249 - 262},
	author = {Jategaonkar Jagadeesan,L. and Porter, Adam and Puchol,C. and Ramming,J. C and Votta,L. G.}
}
