Text this: Standard for property specification language (PSL) [electronic resource].