Formal Verification of Distributed Transaction Management in a SOA Based Control System. - Ivana Popovic; Vladislav Vrtunski; Miroslav Popovic (ECBS, 2011)