W.: UPPAAL in a nutshell. Software Tools for Technology Transfert 1(1-2 (1997)

by K Larsen, P Pettersson, Yi