A Formal Approach to Model Emotional Agents Behaviour in