Added uppaal figures.
Updated the design and model chapter