Text this: Industrial-Strength Formal Methods in Practice /