  Virtualization of computing and networking, IT-OT convergence, cybersecurity
and AI-based enhancement of autonomy are significantly increasing the
complexity of CPS and CPSoS. New challenges have emerged to demonstrate that
these systems are safe and secure. We emphasize the role of control and
emerging fields therein, like symbolic control or set-based fault-tolerant and
decentralized control, to address safety. We have chosen three open
verification problems we deem central in cost-effective development and
certification of safety critical CPSoS. We review some promising threads of
research that could lead in the long term to a scalable and powerful
verification strategy. Its main components are set-based and invariant-based
design, contracts, adversarial testing, algorithmic geometry of dynamics, and
probabilistic estimation derived from compositional massive testing. To explore
these orientations in collaborative projects, and to promote them in
certification arenas, we propose to continue and upgrade an open innovation
drone-based use case that originated from a collaborative research project in
aeronautic certification reformation
