//This file was generated from UPPAAL 4.0.1 (rev. 2157), June 2006 /* */ E<> f(P.t)