Combining OCL and natural language: a call for a community effort. - Jordi Cabot; David Delgado 003; Lola Burgueño (MoDELS (Companion), 2022)

Towards an Extensible Architecture and Tool Support for Model-Based Verification. - David Delgado 003; Lola Burgueño; Javier Cámara 001; Javier Troya (MoDELS (Companion), 2023)