Covers requirements for symbolically representing the functions of distributed control/shared display instrumentation, logic, and computer systems.