@mastersthesis { a:whitsitt-ms, title = {Modeling the Messaging and Component Interfaces of Autonomous Systems}, year = {2011}, month = {August}, school = {University of Arizona}, type = {mastersmasters}, url = {http://bracton.ece.arizona.edu/svn/jmsgroup/trunk/public/whitsitt-thesis.pdf}, author = {Sean Whitsitt} }