Alexei Lapouchnian Yves Lespérance Modeling Mental States in the Analysis of Multiagent Systems Requirements. 104-121 2006 conf/aose/2006 AOSE http://dx.doi.org/10.1007/978-3-540-70945-9_7 db/conf/aose/aose2006.html#LapouchnianL06