WUppaal: A web-service for the Uppaal model-checker | IEEE Conference Publication | IEEE Xplore