Towards model checking interpreted systems - Lomuscio,A; Raimondi,F; Sergot,MJ (ACM, 2003)