Aprimorando a Segurança em Sistemas IoT: Uma Avaliação Baseada em Modelo de um Sistema de Irrigação Inteligente Usando Análise de Árvore de Falhas | Synapse