_id,doi,title
14735,10.1007/978-3-031-47754-6_1,"Executing and proving over dirty ledgers"
7453,10.1007/978-3-319-91908-9_22,Continuous-time models for system design and analysis