Traceability analysis of wireless sensor network based IoT systems. - Marko Mijalkovic; Burak Karaduman; Sadaf Mustafiz; Moharram Challenger (MoDELS (Companion), 2022)