Maintaining Consistency between a Design Model and Its Implementation