correct reference simulation results (especially at time t=0s)
correct definition of "check count ==" ETL operator used in the traffic light example (warning: this is still a simplified version, in the longer term notion of category should also be used here)
@lenaRB and @adrpo : here are some fixes to: