// Place global declarations here.
clock x;
Template
// Place local declarations here.
// Place template instantiations here.
Process = Template();
// List one or more processes to be composed into a system.
system Process;
simulate 1 [<=10] {x, x > 5.0}