The use of JSD on the Spearfish system (heavyweight torpedo)
Security audit for embedded avionics systems
Digital map integration in advanced tactical cockpits
A high performance, multi-application single card signal processor
Ada on reduced instruction set computers, for real-time embedded systems
Robotic Vehicle Mobility and Task Performance: A Flexible Control Modality for Manned Systems
Codesign of architectures for automotive powertrain modules
RASSP: changing the paradigm of electronic system design
AJACS : applying Java to automotive control systems