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