Text this: Efficiency issues in the design of a model checker