TY - THES T1 - Modeling the Messaging and Component Interfaces of Autonomous Systems Y1 - 2011 A1 - Sean Whitsitt PB - University of Arizona UR - http://bracton.ece.arizona.edu/svn/jmsgroup/trunk/public/whitsitt-thesis.pdf ER -