<?xml version="1.0" encoding="utf-8"?><!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd'><nta><declaration>// Place global declarations here.
clock c;</declaration><template><name x="5" y="5">CounterTest</name><declaration>// Place local declarations here.
</declaration><location id="id0" x="32" y="-144"><name x="16" y="-192">End</name></location><location id="id1" x="-80" y="-144"><name x="-96" y="-192">Taken</name><urgent/></location><location id="id2" x="-182" y="-146"><name x="-208" y="-192">Start</name><label kind="invariant" x="-192" y="-131">c&lt;=5</label></location><init ref="id2"/><transition><source ref="id1"/><target ref="id0"/></transition><transition><source ref="id2"/><target ref="id1"/><label kind="guard" x="-144" y="-176">c&gt;=3</label></transition></template><system>// Place template instantiations here.
CT = CounterTest();

// List one or more processes to be composed into a system.
system CT;</system></nta>