*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems[J] FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2023(149) Bistarelli, Stefano Faloci, Francesco Mori, Paolo
