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