Export citation
Search in Google Scholar
Full text: Download
Additional material on ANIMO and Timed Automata, Notes on the models presented in the Results section, Naming conventions used in the paper, Supplementary figures. (PDF 7270 kb)