Slides
Modelling and Verification 2006

All the slides are in PDF format.