Attack Surface Modeling and Assessment for Penetration Testing of IoT System Designs | Synapse