In this short paper we illustrate a novel approach that aims to marry reuse-driven and model-driven development principles with engineering considerations of great concern to high-integrity real-time systems, for which the specification of properties to be preserved at run time is paramo