A Generic Transaction Model for ForCES-Based Distributed Systems | IEEE Conference Publication | IEEE Xplore