TY - RPRT TI - A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems AU - Wojciech Dudek AU - Narcis Miguel AU - Tomasz Winiarski PY - 2025 DO - 10.1016/j.robot.2024.104884 UR - https://arxiv.org/abs/2303.09565 ID - 2303.09565 ER -