All pages under user jpms www tree have been moved to the new web site:
http://sat.inesc.pt/.

User jpms new web page will be loaded in 10 sec.

Please follow the links from user jpms main web page, http://sat.inesc.pt/~jpms.

You may instead click here.