@Inproceedings{EPTCS206.2, author = {Damiani, Ferruccio and Lienhardt, Michael}, year = {2016}, title = {Refactoring Delta-Oriented Product Lines to achieve Monotonicity}, editor = {Rubin, Julia and Th\"um, Thomas}, booktitle = {{\rm Proceedings 7th International Workshop on} Formal Methods and Analysis in Software Product Line Engineering, {\rm Eindhoven, The Netherlands, April 3, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {206}, publisher = {Open Publishing Association}, pages = {2-16}, doi = {10.4204/EPTCS.206.2}, }