Dependable IoT for Human and Industry (Modeling, Architecting, Implementation)