Formal Verification Methodology in an Industrial Setup | IEEE Conference Publication | IEEE Xplore