uppaal-btc Uppaal code for the paper: M. Andrychowicz, S. Dziembowski, D. Malinowski, L. Mazurek, "Modeling Bitcoin Contracts by Timed Automata"