Uppaal in a nutshell
scientific article; zbMATH DE number 1862299