Towards a modeling and analysis environment for industrial IoT systems