// Place global declarations here.
clock y;
bool f(double t){
return t == 0.0;
}Template// Place local declarations here.GOAL// Place template instantiations here.
Process = Template();
// List one or more processes to be composed into a system.
system Process;
Pr[#<= 1] (<> Process.GOAL)E<> Process.GOAL