Designing Web services with Tropos | IEEE Conference Publication | IEEE Xplore