Text this: A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices