Text this: Automatic verification of sequential infinite-state processes /