//Insert declarations of global clocks, variables, constants and channels.
const int eps=10; // must be <= rhoBar/2
const int kappa=80; // must be >= xi2-rhoBar
const int xi1=50,xi2=100;
const int rhoPrime = 130; // must be less than xi1+xi2
const int rhoBar=20; // must be >0 and <xi2 and < xi1+xi2-rhoPrime
const int E=0;
const int A=1;
const int Cr=2;
int[0,2] Track=E, T_P;
const int O:=90;
const int Cl:=0;
int[0,90] g=O;
clock x,y,z,c1,c2;
chan step;A_IN//Insert local declarations of clocks, variables and constants.
A_OUTCD_Uq_bad//Insert process assignments.
//Edit system definition.
system A_IN,A_OUT,CD_U;