Title: A constructive method for the architectural design and correctness verification of real-time programs
Subjects: Real-time data processing, Online data processing, Computer programs, Verification