Analyzing Financial Smart Contracts for Blockchain. - Muskan Vinayak; Amrit Pal Singh Panesar; Saulo dos Santos; Ruppa K. Thulasiram; Parimala Thulasiraman; Srimantoorao Semischetty Appadoo (iThings/GreenCom/CPSCom/SmartData, 2018)