MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines | Publicación