WUppaal: A web-service for the Uppaal model-checker. - Peter Fogh; Thomas C. Hald; Brian Nielsen (CPS Data, 2016)