Deterministic Retrofit Engineering