Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. - Ikram Garfatta; Kaïs Klai; Mahamed Graïet; Walid Gaaloul (ICSOC Workshops, 2020)