Enhancing Tropos with Commitments · Study