LaTeX style for Uppaal code

The page has been moved to GitHub.