Text this: Industrial-strength formal methods in practice /