Title: IEEE standard for verification of vital functions in processor-based systems used in rail transit control
Subjects: Equipment and supplies, Railroads, Electronic equipment, Standards