Runtime verification for business processes utilizing the Bitcoin blockchain Prybila, Christoph Schulte, Stefan Hochreiner, Christoph Weber, Ingo 2020 - TUHH Open Research