@inproceedings{YasmeenG11, author = {Ayesha Yasmeen and Elsa L. Gunter}, title = {Automated Framework for Formal Operator Task Analysis}, booktitle = {ACM International Symposium on Software Testing and Analysis (ISSTA'11)}, month = {July}, year = {2011}, location = {Toronto, Canada}, }