@inproceedings{SisLab1648,
          volume = {182},
          author = {Thi Kim Dung Pham and Catherine Dubois and Nicole Levy},
       booktitle = {FMSPLE: the 6th Workshop on Formal Methods and Analysis in SPL Engineering},
           title = {Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules},
         journal = {Electronic Proceedings in Theoretical Computer Science},
             doi = {doi:10.4204/EPTCS.182.4},
           pages = {44--55},
            year = {2015},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1648/}
}