Salankar, Chakrabarti, 2013. A Rigorous Analysis of Emotion of Human Being using an Event-B Approach 69.. https://doi.org/10.5120/11918-8057