Formal Verification of Distributed Transaction Management in a SOA Based Control System | IEEE Conference Publication | IEEE Xplore