Uppaal in a nutshell
International Journal on Software Tools for Technology Transfer
Paul Pettersson
Wang Yi
A web-based tool for analysing normative documents in english