A model-based approach for specifying changes in replications of empirical studies in computer Science