TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). - João Afonso; Elvis Konjoh Selabi; Maurizio Murgia 001; António Ravara; Emilio Tuosto (COORDINATION, 2024)