On the specification and verification of atomic swap smart contracts (extended abstract) | IEEE Conference Publication | IEEE Xplore