Software (theme 1)
I.E.E.E.
IEEE Transactions on Services Computing
Computer Security

Kokash, N, & Arbab, F. (2013). Formal design and verification of long-running transactions with extensible coordination tools. IEEE Transactions on Services Computing, 6(2), 186–200.