//This file was generated from (Academic) UPPAAL 4.0.8 (rev. 4276), March 2009 /* */ E<> q.l1 /* */ E<> q.lx