Runtime verification for business processes utilizing the Bitcoin blockchain[J] FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2020(107) Prybila, Christoph Schulte, Stefan Hochreiner, Christoph Weber, Ingo
