@inproceedings{ICFEM.2010.237-252,
 author = {Hai H. Wang and Jing Sun and Danica Damljanovic},
 title = {{Enhanced Semantic Access to Formal Software Models}},
 booktitle = {Proceedings of the 12th International Conference on Formal Engineering Methods},
 pages = {237-252},
 month = {November},
 year = {2010},
 location = {Shanghai, China},
 publisher = {Springer-Verlag},
 url = {http://dx.doi.org/10.1007/978-3-642-16901-4_17},
}