Modeling and Analysis of Malware Propagation for IoT Heterogeneous Devices | Synapse