@article{10.1109/SPLC.2011.32,
author = {John McDermid, and Stuart Hutchesson, },
title = {Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations},
journal = {Software Product Line Conference, International},
volume = {00},
number = {},
issn = {},
year = {2011},
pages = {55-64},
doi = {doi.ieeecomputersociety.org/10.1109/SPLC.2011.32},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}