Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools

The [pdf] macro is not in the list of registered macros. Verify the spelling or contact your administrator.