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