Changing Size of tlatex figures

[Åsmund Kløvstad]

I am attempting to parts of TLA+ specifications in a .tex document using tlatex and having some difficulties scaling these.

I have figures that look like

\begin{figure}
\begin{tla}
...
\end{tla}
\end{figure}

 

which I run through tla2tex to end up with something like

\begin{figure}
\begin{tla}
...
\end{tla}
\begin{tlatex}
...
\end{tlatex}
\end{figure}

 

Now, some of these snippets end up too wide for my page and I would like them to stay inside the margins. I have had no success with \scalebox and \resizebox, even with minipages or vboxes.

Does anyone have experience with resizing TLA+ in LaTeX like this?