@conference{Yang:1990qq,
Address = {Tucson, AZ},
Author = {Yang, J. and Rozenblit, J.W.},
Booktitle = {Proc. of the First Intl. Conference on AI, Simulation and Planning in High Autonomy Systems},
Month = {March},
Pages = {136-141},
Publisher = {IEEE Computer Society Press},
Title = {Case Studies of Design Methodologies: A Survey},
Year = {1990}}