Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos