On http://www.uppaal.org/ every links to Paul Petterson's website are dead. It seems his website is down (he probably moved to another faculty). This is a trouble for two reasons. This are the first two links on your documentation page. And it can not trivially be found on his new web page.