@inproceedings{grosu01automated,
author="Radu Grosu and Yanhong A. Liu and Scott Smolka and Scott D. Stoller and Jingyu Yan",
title="Automated Software Engineering Using Concurrent Class Machines",
booktitle="Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE)",
publisher="IEEE Computer Society Press",
year=2001,
pages="297-304"
}