\begin{figure}
\begin{center}
\FixVCScale{0.7}\VCDraw{%
\begin{VCPicture}{(-3,-1.5)(3,1)}
%\ShowFrame
% States
\StateVar[init]{(-2,0)}{I}
\StateVar[xact]{(0,0)}{C}
\StateVar[err]{(2,0)}{E}
% Initial State
\Initial{I}
% Edges
\ChgEdgeLabelScale{0.8}
\ArcL{I}{C}{bt}
\EdgeL{C}{E}{bt}
\ArcL{C}{I}{et}
\VArcL{arcangle=60}{I}{E}{et}
% Loops
\CLoopE[.2]{E}{\Sigma}
\CLoopNW[.6]{I}{\Sigma - \{bt,et\}}
\CLoopS[.8]{C}{\Sigma - \{bt,et\}}
\end{VCPicture}}
\caption{Property automaton for validating correct transaction usage with a
nesting depth of 0. In the diagram, \emph{bt} represents \begxact, \emph{et}
represents \endxact, and \emph{$\Sigma$} represents all symbols.}
\label{Fi:Property}
\end{center}
\end{figure}
