Text this: Reducing communication in distributed model checking