[1] Supply-Voltage Rejection (->"IEEE Standard Dictionary")
[2] Software Verification Report (->"IEEE Standard Dictionary")
[3] Server (TLA)