_id,doi,title 311,10.1007/978-3-319-89884-1_26,Quantitative analysis of smart contracts