Dynamo: a behavioural analysis model for multi-agent systems | IEEE Conference Publication | IEEE Xplore