Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples | IEEE Conference Publication | IEEE Xplore