//Insert declarations of global clocks, variables, constants and channels.
chan a;
chan b;
chan c;
int v;
int p;
const NULL -1;Env//Insert local declarations of clocks, variables and constants.
Ctlclock cl;waitawaitcwaitb//Insert process assignments.
//Edit system definition.
system Env, Ctl;