20090125170200.0 Real-time systems. 0922-6443 0922-6443 0922-6443 0922-6443 Real-time systems. United States 0922-6443 Real-time systems Real-time systems