Bernd Finkbeiner Jana Hofmann Florian Kohn Noemi Passing Reactive Synthesis of Smart Contract Control Flows. 248-269 2023 ATVA (1) https://doi.org/10.1007/978-3-031-45329-8_12 conf/atva/2023-1 db/conf/atva/atva2023-1.html#FinkbeinerHKP23