Home Economy Model-Based Testing: The Hidden Accelerator of Secure and Scalable IoT Systems