@conference{Cunning:1999rr,
Address = {Tokyo},
Author = {Cunning, S. and Rozenblit, J.W.},
Booktitle = {Proc. of the 1999 IEEE Intl. Conference on Systems, Man, and Cybernetics},
Month = {October},
Pages = {784-789},
Title = {Automatic Test Case Generation from Requirements Specifications for Real-Time Embedded Systems},
Year = {1999}}