The formal verification of properties in reactive Real-Time system is crucial, as these systems are often safety-critical ones. Refinements is a relevant operation in synchronous languages. In this paper, we argue that, in the synchronous approach to the design and implementation of reactive Real-Time system, the modular verification from the point of view of the refining program is best achieved with observers.