The system description language in UPPAAL is that of networks of timed automata extended with CCS style binary synchronisation, broadcast synchronisation, process templates, bounded integer variables, constants, arrays and a C/C++/Java like expression language.