Analyzing and Mitigating Unexpected Behavior in Digital Systems [PowerPoint]