Threat Modelling and Vulnerability Assessment for IoT Solutions: A Case Study. - Krasen Anatoliev Parvanov; Chrysostomos Tsagkidis; Francisco Gomes de Oliveira Neto (SBES, 2025)