VHDL package for description of fuzzy logic controllers. - D. Galán; Carlos Jesús Jiménez-Fernández; Angel Barriga; Santiago Sánchez-Solano (EURO-DAC, 1995)

Protocol Dialects as Formal Patterns. - D. Galán; Víctor García; Santiago Escobar 001; Catherine A. Meadows; José Meseguer 001 (ESORICS (2), 2023)

Safety enforcement via programmable strategies in Maude. - María Alpuente; Demis Ballis; Santiago Escobar 001; D. Galán; Julia Sapiña (J. Log. Algebraic Methods Program., 2023)