1. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addision-Wesley, 1988.
2. L. Cremean, B. Dunbar, D. van Gogh, J. Hickey, E. Klavins, J. Meitzer, and R. M. Murray. The Caltech multi-vehicle wireless testbed. In Conference on Decision and Control, 2002. Submitted for Review.
3. J. A. Fax and R. M. Murray. Information flow and cooperative control of vehicle formations. In IF AC World Congress, 2002.
4. W. Feller. An Introduction to Probability Theory and Its Applications, volume I. Wiley, 1950.
5. E. Klavins. A formal language approach to embedded systems modeling and verification. In preparation.