Capacity management of air traffic control computer systems
A verifiable, autonomous satellite control system
Approaches and implementation of software test and development system for embedded computer systems
AJACS : applying Java to automotive control systems
A high performance, multi-application single card signal processor
Ada on reduced instruction set computers, for real-time embedded systems