Offering formal verification capabilities for industry standard case tools: challenges and results | IEEE Conference Publication | IEEE Xplore