Stuart Hutchesson, John A. McDermid. Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations. In Eduardo Santana de Almeida, Tomoji Kishi, Christa Schwanninger, Isabel John, Klaus Schmid, editors, Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. pages 55-64, IEEE, 2011. [doi]
Abstract is missing.