Abstract: Cyber-Physical Systems (CPS) are digitized infrastructures controlling physical processes. To improve their dependability, we propose in this paper CYBERSIM, a framework to jointly automate ...