HATS: A Formal Software Product Line Engineering Methodology | Publicación