Adapting Workflow Management Systems to BFT Blockchains – The YAWL Example | IEEE Conference Publication | IEEE Xplore