A. Silveira, G. Betarte, M. Cristiá, and C. Luna, “A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations”, Memoria investig. ing. (Facultad Ing., Univ. Montev.), no. 24, pp. 129–142, Jun. 2023.