%0 Thesis %D 2011 %T Modeling the Messaging and Component Interfaces of Autonomous Systems %A Sean Whitsitt %I University of Arizona %8 August %G eng %U http://bracton.ece.arizona.edu/svn/jmsgroup/trunk/public/whitsitt-thesis.pdf %9 mastersmasters