The design and operation of modern IT-based systems especially cyber-physical systems (CPS), need modelbased approaches due to their complexity. However, the limited faithfulness of pure analytic models with speculative ...