SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. - Günter Gans; Gerhard Lakemeyer; Matthias Jarke; Thomas Vits (CAiSE, 2002)