Latex

UPPAAL web site includes links to uppaal.sty file — style for typesetting documents in LaTeX.