Text this: Formal methods applied to industrial complex systems /