Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl. Engineering and verifying agent-oriented requirements augmented by business constraints with ::::B::::-Tropos. Autonomous Agents and Multi-Agent Systems, 23(2):193-223, 2011. [doi]
Abstract is missing.