fig-covered-infeasible.tex

\begin{figure}[!ht]
\begin{center}
\includegraphics[width=0.70\textwidth]{fig/required-elements-covered-infeasible.eps}
\caption{\label{fig:covered-infeasible} \pk{Dispenser.dispense()}
infeasible requirements erroneously identified.}
\end{center}
\end{figure}