Rule-Based Reasoning for Hardware Fault Detection in IoT Systems Using Electronic Design Automation Tools. - Antonios Pliatsios; Michael Dosis (SMAP, 2024)