https://123dok.org/document/4yrm6lpq-formal-methods-for-secure-bitcoin-smart-contracts.html