A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices. - A. Bhanpurawala; K. El-Fakih; Imran A. Zualkernan (CoRR, 2022)