Uppaal in a nutshell
International Journal on Software Tools for Technology Transfer
Kim G. Larsen
Wang Yi
A web-based tool for analysing normative documents in english