Joshua Ellul, Gordon J. Pace, Ryan Falzon, Matthew Scerri: Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study. IEEE Access 13: 186075-186089 (2025)