@inproceedings{barisic_zhu_mallet_2021, title={Model-driven approach for the design of Multi-Chain Smart Contracts}, DOI={10.1109/brains52497.2021.9569809}, publisher={IEEE}, author={Barisic, Ankica and Zhu, Enlin and Mallet, Frederic}, year={2021}, month={Sep} }