Louise A. Dennis Berndt Farwer Rafael H. Bordini Michael Fisher A flexible framework for verifying agent programs. 1303-1306 2008 AAMAS (3) http://doi.acm.org/10.1145/1402821.1402857 conf/atal/2008-3 db/conf/atal/aamas2008-3.html#DennisFBF08