: It is used for the probabilistic verification of safety and security requirements in Smart IoT systems.

If this is for social media (Instagram/LinkedIn) or a poster: