Timed automata: Semantics, algorithms and tools
Uppaal in a nutshell
International Journal on Software Tools for Technology Transfer
Paul Pettersson
Kim G. Larsen
Johan Bengtsson
A web-based tool for analysing normative documents in english
Architecture-Centric Fault Tolerance with Exception Handling