?url_ver=Z39.88-2004&rft_id=doi%3A10.4204%2FEPTCS.182.4&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Pham%2C+Thi+Kim+Dung&rft.aulast=Pham&rft.aufirst=Thi+Kim+Dung&rft.date=2015&rft.issn=2075-2180&rft.title=Towards+correct-by-construction+product+variants+of+a+software+product+line%3A+GFML%2C+a+formal+language+for+feature+modules&rft.genre=proceeding