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