PERCEIVE project - Deliverable D6.2 "Formal mathematical model to be simulated with computer"