Ralph Depke Reiko Heckel Modelling and Analysis of Agents' Goal-Driven Behavior. 81-97 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2975&spage=81 2003 conf/dagstuhl/2003oaf Objects, Agents, and Features db/conf/dagstuhl/oaf2003.html#DepkeH03