A preliminary study on using acceptance tests for representing business requirements of smart contracts | IEEE Conference Publication | IEEE Xplore