//This file was generated from (Academic) UPPAAL 4.1.1 (rev. 4276), March 2009 /* */ obsTA.lmin --> obsTA.lmax