//Insert declarations of global clocks, variables, constants and channels.
const int rho=400; // must be > 0
const int rhoPrime=600; // must be >= rho
const int alpha1=50; // must be < rho
const int alpha2=50; // must be < rho-alpha1
const int beta=10; // must be < rho-alpha1-alpha2
const int eps=50; // must be <= (rho-beta-alpha1-alpha2)/4
const int kappa=90; // must be <= rho-beta-alpha1-alpha2-4eps
const int E=0;
const int A=1;
const int Cr=2;
int[0,2] Track=E, T_P=E, Sensor_Track=E, Next_Sensor_Track=E;
const int O:=90;
const int Somewhere:=45;
const int Cl:=0;
int[0,90] g=O, Ctrl_g=O, Act_g;
clock x,y,z,c,d,a,b,s;
chan step,sens,act,plant;A_IN//Insert local declarations of clocks, variables and constants.
A_OUTCD_Sq_badActuatorSensorA_IN2//Insert process assignments.
//Edit system definition.
system A_IN, A_IN2, Sensor, A_OUT, Actuator, CD_S;