Agent-based Analysis of Organizations: Formalization and Simulation. - Virginia Dignum; Christiaan Tick (IAT, 2007)