Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. - Thi-Kim-Zung Pham; Catherine Dubois; Nicole Lévy (FMSPLE, 2015)