@Inproceedings{EPTCS182.4, author = {Pham, Thi-Kim-Zung and Dubois, Catherine and Levy, Nicole}, year = {2015}, title = {Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules}, editor = {Atlee, Joanne M. and Gnesi, Stefania}, booktitle = {{\rm Proceedings 6th Workshop on} Formal Methods and Analysis in SPL Engineering, {\rm London, UK, 11 April 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {182}, publisher = {Open Publishing Association}, pages = {44-55}, doi = {10.4204/EPTCS.182.4}, }