Development of Correct-by-Construction Software using Product Lines. (Développement de logiciels corrects par construction à partir de lignes de produits). - Thi-Kim-Dung Pham (2017)