Model-Driven Root Cause Analysis