//Insert declarations of global clocks, variables, constants and channels.
const max 10000;
int[-max,max] w;
int c;
int y;
chan tick, tock, tack;
Wind//Insert local declarations of clocks, variables and constants.
Carint v;Controllerint sen1;
int sen2;//Insert process assignments.
//Edit system definition.
system Wind, Car, Controller;