Text this: Antichains for the Automata-Based Approach to Model-Checking