US7086037B2 - Method and Computer Program Product for Localizing an Interruption Structure Included in a Hierarchical Structure of a Specification