Blockchain Smart Contracts Static Analysis for Software Assurance. - Suzanna Schmeelk; Bryan Rosado; Paul E. Black (SAI (2), 2021)