Ada on reduced instruction set computers, for real-time embedded systems
A high performance, multi-application single card signal processor
AJACS : applying Java to automotive control systems
Digital map integration in advanced tactical cockpits
Security audit for embedded avionics systems
The use of JSD on the Spearfish system (heavyweight torpedo)