@conference{Jaroch:2000aa,
Address = {Tucson, AZ},
Author = {Jaroch, Y. and Cunning, S. and Rozenblit, J.W.},
Booktitle = {Proc. of the 2000 Conference on AI, Simulation and Planning in High Autonomy Systems},
Month = {March},
Pages = {243-249},
Title = {Automated Validation of System Requirements for Embedded Systems Design},
Year = {2000}}