John McDermid, Stuart Hutchesson, "Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations", Software Product Line Conference, International vol. 00 no. , p. 55-64, , 2011