Anders Hessel's Master Thesis.
Timing analysis of an SDL subset in Uppaal.
Download the report here.
Download linux/sun executable
here.
Slides from my presentation (2002-08-22) at ARTES summer school 2002 here (ps)
Slides from my presentation (2002-05-14) at an ASTEC seminar. here (ps)
web@hessel.nu