Uppaal SMC tutorial
Uppaal in a nutshell