An agent-based model formalization to support distributed execution - Szabó Attila (2010)