Real-time system correctness depends not just on what the system does but also on how fast it reacts.
A general RT system model involves associating processes with sensors and actuators.
Real-time systems architectures are usually designed as a number of concurrent processes.