From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines. - Lambard Maxence; Cyrille Bertelle; Claude Duvallet (CoRR, 2025)