//Insert declarations of global clocks, variables, constants and channels.
bool spo, eco, loc, com;
clock time;
Kim//Insert local declarations of clocks, variables and constants.
clock x;DoneJuri//Insert local declarations of clocks, variables and constants.
clock x;DoneJan//Insert local declarations of clocks, variables and constants.
clock x;DoneWang//Insert local declarations of clocks, variables and constants.
clock x;Done//Insert process assignments.
//Edit system definition.
system Kim, Juri, Jan, Wang;E<> Kim.Done and Wang.Done and Juri.Done and Jan.Done and time<=100