@phdthesis{Yasmeen11 author = {Ayesha Yasmeen}, title = {Formalizing Operator Task Analysis}, month = {June}, year = {2011}, }