Machine generated authority record.
Work cat.: (OSt): Cheng M K A 27637, "Real-Time Systems Scheduling Analysis, and Verification"