The use of JSD on the Spearfish system (heavyweight torpedo)
Security audit for embedded avionics systems
RASSP: changing the paradigm of electronic system design
Improving automotive embedded systems engineering at European level
Digital map integration in advanced tactical cockpits
Codesign of architectures for automotive powertrain modules
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