Text this: Industrial use of formal methods :