Text this: Concepts, algorithms and tools for model checking /