A Graph-based Approach for Detecting Misconfigurations in Smart Home Automation Rules - Pedro Varandas da Costa Azevedo da Ponte (2023)