... axiomatization blockchain MERODE model-driven engineering finite state machines existence dependency accountability traceability transparency Blockchain is believed—by some—to be the silver bullet that will solve almost any issue in the world, where others—because of its current technological...