Lento, Luiz, Pedro Patinho, and Salvador Abreu. " Um Modelo Declarativo para Gestão de Riscos em IoT." Proceedings of the 23rd Brazilian Symposium on Information and Computational Systems Security, Juiz de Fora/MG, 2023. SBC, 2023, pp.570-575.