Comprehensive and Automated Static Tool Based Strategies for the Detection and Resolution of Reset Domain Crossings