Upcoming paper: BitML: a calculus for Bitcoin smart contracts