Bernardeschi, C. (2021) “Block-Based Models and Theorem Proving in Model-Based Development”, Electronic Communications of the EASST, 79. doi: 10.14279/tuj.eceasst.79.1116.