\begin{figure}[!t]
\begin{center}
\includegraphics[width=2.5in]{figures/misc/jpl1.pdf}
\end{center}
\caption{Processing a JPL requirements model.}\label{fig:sajpl}
\end{figure}