Uppaal in a nutshell. Software Tools for Technology Transfer (1997)

by K G Larsen, P Pettersson, W Yi