An opacity approach for security exposure of IoT components in critical infrastructures