Organization models and behavioural requirements specification for multi-agent systems | IEEE Conference Publication | IEEE Xplore