//This file was generated from (Academic) UPPAAL 4.1.4 (rev. 4857), July 2011 /* */ Pr[<=20] (<>Server.cur == 0 && !Server.Serving) >= 0.50