Bitcoin: Bubble or Blockchain
Modeling Bitcoin Contracts by Timed Automata