The formal specification and design of a distributed electronic funds-transfer system | IEEE Journals & Magazine | IEEE Xplore