Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M. Block-Based Models and Theorem Proving in Model-Based Development. eceasst 2021, 79.