Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos