SoTa UPPAAL, first draft done.

Added quite a few references as well.