Steven Shapiro Yves Lespérance Hector J. Levesque The cognitive agents specification language and verification environment for multiagent systems. 19-26 2002 conf/atal/2002 AAMAS http://doi.acm.org/10.1145/544741.544746 db/conf/atal/aamas2002.html#ShapiroLL02