@conference{Gupta:2001aa,
Address = {Washington, DC},
Author = {Gupta, P. and Cunning, S. and Rozenblit, J.W.},
Booktitle = {Proc. of the 2001 IEEE Conference on Engineering of Computer-Based Systems},
Month = {April},
Pages = {76-82},
Title = {Synthesis of High Level Requirements Models for Automatic Test Generation},
Year = {2001}}