In this lecture we will introduce Uppaal -- a modeling tool for real time systems.
The linked reading material is background material about Uppaal. We do not expect you to read everything on the list, but we recommend that you at least take a look at the material under General reading.