Proactive Vulnerability Discovery and Assessment in Smart, Connected Systems Through Systematic Problem Analysis