Ralph Depke, Reiko Heckel. Modelling and Analysis of Agents Goal-Driven Behavior. In Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich, editors, Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Volume 2975 of Lecture Notes in Computer Science, pages 81-97, Springer, 2003. [doi]