A feature allowing the use of forall in invariants would be greatly appreciated. This would be very convenient, particularly now that Uppaal allows stopwatches from version 4.1.0.
This feature is already supported in 4.0.7 & development versions.
What you want is to be able to define rates in forall all expressions.
forall with clock rates is supported from rev. 4230.