Self-Aware Agent-Supported Contract Management on Blockchains for Legal Accountability
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems