Model-driven approach for the design of Multi-Chain Smart Contracts. - Ankica Barisic; Enlin Zhu; Frédéric Mallet (BRAINS, 2021)