references.tex

\begin{itemize}
\item Rajeev Alur, Professor, University of Pennsylvania, USA, \href{mailto:alur@cis.upenn.edu}{alur@cis.upenn.edu}

\item Thomas A. Henzinger, Professor, Institute of Science and Technology Austria, \href{mailto:tah@ist.ac.at}{tah@ist.ac.at}

\item Martin Rinard, Professor, Massachusetts Institute of Technology, USA, \href{mailto:rinard@lcs.mit.edu}{rinard@lcs.mit.edu}

\item Joseph Sifakis, Professor, Verimag, Grenoble, France, \href{mailto:joseph.sifakis@imag.fr}{joseph.sifakis@imag.fr}

\item Lothar Thiele, Professor, ETH Zurich, Switzerland, \href{mailto:thiele@ethz.ch}{thiele@ethz.ch}

\item Marilyn Wolf, Professor, Georgia Institute of Technology, USA, \href{mailto:wolf@ece.gatech.edu}{wolf@ece.gatech.edu}
\end{itemize}