Development of High-Integrity Software Product Lines Using Model Transformation.

Stuart Hutchesson, John A. McDermid

Browse the full SAFECOMP paper archive.