Integrating smart contracts into the modeling paradigm to harness the potential of models - Gomez-Macias, Cristian; Perez-Blanco, Francisco Javier; Granada, David; Vara, Juan Manuel (Software And Systems Modeling, 2025)