Text this: Information systems validation using formal models