2IMN25 (2024-GS3) Quantitative Evaluation of Cyber Physical Systems