Title: Industrial-Strength Formal Methods in Practice