Model/Implementation Synchronisation in Domain-Specific Programming Languages