A New Approach for Minimal Environment Construction for Modular Property Verification | IEEE Conference Publication | IEEE Xplore