Text this: Common modeling language for model checkers