A variability modeling and transformation approach for safety-critical systems | Publicación