Patterns and conflicts for the specification of cognitive models. - Fatma Mili; A. MacKlem; Sangiv Dungrani; C. Adams (IADIS AC, 2005)

Formal Verification of Cognitive Models. - A. MacKlem; Fatma Mili (FLAIRS, 2006)