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.