Timothy William Cleaver Abdul Sattar Raihana Ferdous User defined monitoring strategies for BDI agent programs. 1055-1057 2006 conf/atal/2006 AAMAS http://doi.acm.org/10.1145/1160633.1160821 db/conf/atal/aamas2006.html#CleaverSF06