\newcommand{\noopsort}[1]{} \newcommand{\printfirst}[2]{#1}
  \newcommand{\singleletter}[1]{#1} \newcommand{\switchargs}[2]{#2#1}
\begin{thebibliography}{10}

\bibitem{w1}
{\em Second European Workshop on Real-Time and Hybrid Systems}.
\newblock Grenoble, France, May 1995.

\bibitem{Alur}
R.~Alur, C.~Courcoubetis, T.A. Henzinger, P.H. Ho, X.~Nicollin, A.~Olivero,
  J~Sifakis, and S.~Yovine.
\newblock The algorithmic analysis of hybrid systems.
\newblock {\em Theoretical Computer Science}, 138:3--34, 1995.

\bibitem{w3}
J.~W. de~Bakker et~al., editors.
\newblock {\em Real-Time: Theory in Practice {\rm (REX Workshop, Mook, The
  Netherlands, June 1991)}}, volume 600 of {\em Lecture Notes in Computer
  Science}.
\newblock Springer-Verlag, 1992.

\bibitem{Frankel-avhs}
Jonathan Frankel, Luis Alvarez, Roberto Horowitz, and Perry Li.
\newblock Robust platoon maneuvers for {AVHS}.
\newblock Manuscript, Berkeley, November 10, 1994.

\bibitem{w4}
R.~L. Grossman, A.~Nerode, A.~P. Ravn, and H.~Rischel, editors.
\newblock {\em Hybrid Systems}, volume 736 of {\em Lecture Notes in Computer
  Science}.
\newblock Springer-Verlag, 1993.

\bibitem{Livadas-thesis}
Carolos Livadas.
\newblock Formal verification of safety-critical hybrid systems.
\newblock Master's thesis, Department of Electrical Engineering and Computer
  Science, Massachusetts Institute of Technology, Cambridge, MA 02139,
  September 1997.

\bibitem{Lygeros-thesis}
John Lygeros.
\newblock {\em Hierarchical Hybrid Control of Large Scale Systems}.
\newblock PhD thesis, University of California, Department of Electrical
  Engineering, Berkeley, California, 1996.

\bibitem{Lygeros-gametheory}
John Lygeros, Datta~N. Godbole, and Shankar Sastry.
\newblock A game theoretic approach to hybrid system design.
\newblock Technical Report UCB/ERL-M95/77, Electronic Research Laboratory,
  University of California Berkeley, October 1995.

\bibitem{Lygeros-TCAS}
John Lygeros and Nancy Lynch.
\newblock On the formal verification of the {TCAS} conflict resolution
  algorithms.
\newblock In {\em 36th IEEE Conference on Decision and Control}, pages
  1829--1834, San Diego, CA, December 1997.
\newblock Extended abstract.

\bibitem{Lygeros-strings}
John Lygeros and Nancy Lynch.
\newblock Conditions for safe deceleration of strings of vehicles.
\newblock In {\em Hybrid Systems: Computation and Control}, Berkeley,
  California, April 1998.
\newblock To appear.

\bibitem{Lynch-3level}
Nancy Lynch.
\newblock A three-level analysis of a simple acceleration maneuver, with
  uncertainties.
\newblock In {\em Proceedings of the Third AMAST Workshop on Real-Time
  Systems}, pages 1--22, Salt Lake City, Utah, March 1996.

\bibitem{Lynch-hioa}
Nancy Lynch, Roberto Segala, Frits Vaandrager, and H.~B. Weinberg.
\newblock Hybrid {I/O} automata.
\newblock Journal version in progress.

\bibitem{Lynch-hioa2}
Nancy Lynch, Roberto Segala, Frits Vaandrager, and H.~B. Weinberg.
\newblock Hybrid {I/O} automata.
\newblock In R.~Alur, T.~Henzinger, and E.~Sontag, editors, {\em Hybrid Systems
  {III}: Verification and Control {\rm (DIMACS/SYCON Workshop on Verification
  and Control of Hybrid Systems, New Brunswick, New Jersey, October 1995)}},
  volume 1066 of {\em Lecture Notes in Computer Science}, pages 496--510.
  Springer-Verlag, 1996.

\bibitem{Maler}
O.~Maler, Z.~Manna, and A.~Pnueli.
\newblock From timed to hybrid systems.
\newblock In J.W. de~Bakker, C.~Huizing, W.P. de~Roever, and G.~Rozenberg,
  editors, {\em {REX} Workshop on Real-Time: Theory in Practice}, volume 600 of
  {\em Lecture Notes in Computer Science}, pages 447--484, Mook, The
  Netherlands, June 1991. Springer-Verlag.

\bibitem{w2}
Oded Maler, editor.
\newblock {\em Hybrid and Real-Time Systems {\rm (International Workshop,
  HART'97, Grenoble, France, March 1997)}}, volume 1201 of {\em Lecture Notes
  in Computer Science}.
\newblock Springer-Verlag, 1997.

\bibitem{Varaiya}
Pravin Varaiya.
\newblock Smart cars on smart roads: Problems of control.
\newblock {\em IEEE Transactions on Automatic Control}, AC-38(2):195--207,
  1993.

\bibitem{Weinberg-trains}
H.~B. Weinberg.
\newblock Correctness of vehicle control systems: A case study.
\newblock Master's thesis, Department of Electrical Engineering and Computer
  Science, Massachusetts Institute of Technology, Cambridge, MA 02139, February
  1996.
\newblock Also, MIT/LCS/TR-685.

\bibitem{Weinberg-verification}
H.~B. Weinberg, Nancy Lynch, and Norman Delisle.
\newblock Verification of automated vehicle protection systems.
\newblock In R.~Alur, T.~Henzinger, and E.~Sontag, editors, {\em Hybrid Systems
  {III}: Verification and Control {\rm (DIMACS/SYCON Workshop on Verification
  and Control of Hybrid Systems, New Brunswick, New Jersey, October 1995)}},
  volume 1066 of {\em Lecture Notes in Computer Science}, pages 101--113.
  Springer-Verlag, 1996.

\end{thebibliography}
