A formal model for ledger management systems based on contracts and temporal logic[J] BLOCKCHAIN-RESEARCH AND APPLICATIONS 2022(3) Bottoni, Paolo Labella, Anna Pareschi, Remo
