Modeling Bitcoin Payments with a Finite State Machine
reddit.com