Representation of Smart Contracts as State Diagrams. - Marina Luiza Lardizabal Vieira; Patricia Vilain (AICCSA, 2021)