Slides
Modelling and Verification 2009

All the slides are in PDF format.