Thinking Ahead – Advanced Verification and Debug Techniques for the Imminent IoT Wave