From IEEE Std.1850-2005. Copyright 2005 IEEE. All rights reserved.* Below we present the syntax of PSL in Backus-Naur Form (BNF). A nonterminal is either a single ...