Something that works for the traffic controller example with the non deterministic pedestrian model for the exercise