UPPAAL is an integrated tool environment for modeling, validation, and verification of real time systems, modeled as networks of timed automata, extended with data types . Typical application areas include real time controllers and communication protocols, in particular those where timing aspects are critical.