\begin{thebibliography}{10}

\bibitem{SMARTEST}
{SMARTEST (Simulation Modelling Applied to Road Transportation European Scheme
  Test}.
\newblock See www.its.leeds.ac.uk/smartest/.

\bibitem{TRANSIMS}
{TRANSIMS, {TR}ansportation {AN}alysis and {SIM}ulation {S}ystem}, since 1992.
\newblock See transims.tsasa.lanl.gov.

\bibitem{DYNAMIT:MITSIM}
{DYNAMIT/MITSIM}, 1999.
\newblock {M}assachusetts {I}nstitute of {T}echnology, {C}ambridge,
  {M}assachusetts. See its.mit.edu.

\bibitem{DYNASMART}
H.S. Mahmassani, T.~Hu, and R.~Jayakrishnan.
\newblock Dynamic traffic assignment and simulation for advanced network
  informatics ({DYNASMART}).
\newblock In N.H. Gartner and G.~Improta, editors, {\em Urban traffic networks:
  Dynamic flow modeling and control}. Springer, Berlin/New York, 1995.

\bibitem{FVU}
In {\em Verkehr und {M}obilit{\"a}t}, number~66 in Stadt Region Land. Institut
  f{\"u}r Stadtbauwesen, Technical University, Aachen, Germany, 1998.

\bibitem{isttt-feedback}
M.~Rickert and K.~Nagel.
\newblock Issues of simulation-based route assignment.
\newblock Presented at the International Symposium on Traffic and
  Transportation Theory (ISTTT) in Jerusalem, 1999.
\newblock See www.inf.ethz.ch/\verb+~+nagel/papers.

\bibitem{Bottom:thesis}
J.~A. Bottom.
\newblock {\em Consistent anticipatory route guidance}.
\newblock PhD thesis, Massachusetts Institute of Technology, Cambridge, MA,
  2000.

\bibitem{Cantarella:Cascetta}
C.~Cantarella and E.~Cascetta.
\newblock Dynamic process and equilibrium in transportation network: {T}owards
  a unifying theory.
\newblock {\em Transportation Science A}, 25(4):305--329, 1995.

\bibitem{Rickert:Nagel:hpcn99}
M.~Rickert and K.~Nagel.
\newblock Dynamic traffic assignment on parallel computers in {TRANSIMS}.
\newblock {\em Future generation computer systems}, 17(5):637--648, 2001.

\bibitem{99-parallel}
K.~Nagel and M.~Rickert.
\newblock Parallel implementation of the {TRANSIMS} micro-simulation,
  submitted.
\newblock See www.inf.ethz.ch/\verb+~+nagel/papers.

\bibitem{Barrett:etc:formal-language}
C.~L. Barrett, R.~Jacob, and M.~V. Marathe.
\newblock Formal language constrained path problems.
\newblock {L}os {A}lamos {U}nclassified {R}eport ({LA-UR}) 98-1739, see
  transims.tsasa.lanl.gov, 1997.

\end{thebibliography}