Download the executable
Conversion program from a subset of SDL
to Uppaal's .xta-format.
Also, read the report Timing analysis of an SDL subset in Uppaal.
the Linux executable here.
(Fedora) (c++ 3.3.2) (libstdc++.5.0.5)
the Sun executable here.
If you want you can send a greeting to me here, I am curious about who is
downloading my stuff.