Incorporating transactions in a requirement engineering method | IEEE Conference Publication | IEEE Xplore