Modeling And Verification Of The Bitcoin Protocol.pdf [Free Download!]