Modular composition and verification of transaction processing protocols | IEEE Conference Publication | IEEE Xplore