How formal analysis and verification add security to blockchain-based systems. - Matsuo, Shin'ichiro (2017)