Publications by the researcher in collaboration with Roc Meseguer (1)