1850-2010 - IEEE Standard for Property Specification Language (PSL) - Redline | IEEE Standard | IEEE Xplore