IEEE standard for property specification language (PSL). (31st August 2012) - British Standards Institution,
No abstract available