(c) 1995-2021 UPPAAL
UPPAAL web site includes links to uppaal.sty file — style for typesetting documents in LaTeX.