Cyber-physical systems play an increasingly vital role in our everyday lives by leveraging technology to mitigate human error. These systems are inherently safety-critical, which requires the highest standards in quality assurance. Therefore, designing safe behaviors for these systems in a manageable fashion and maximizing trust early on by formally verifying them against a formal specification mandates a software engineering process that prioritizes appropriate abstractions in the early design phase. However, even if models are formally verified at design time, their appropriateness in the real world stills needs to be validated at runtime, as specifications are usually incomplete. In this work, we introduce a methodology for refining verified cyber-physical systems modeled by hybrid mode automata to executable source code amenable for runtime verification. In particular, we employ ArchiCorC, which lifts the correctness-by-construction paradigm for programs to component-based architectures, and comes with facilities for code generation. Subsequent simulations of the executable and verified maneuvers allow to validate their initial requirements in a diverse set of scenarios.