Title: Derivation of sequential, real-time, process-control programs
Subjects: Process control, Sequential processing (Computer science), Computer programs