Text this: Automatic verification methods for finite state systems :