Ricardian Contracts for Industry 4.0 via the Arrowhead Contract Proxy | IEEE Conference Publication | IEEE Xplore