AJACS : applying Java to automotive control systems
Codesign of architectures for automotive powertrain modules
Security audit for embedded avionics systems
Laboratory concepts in avionics software
Digital map integration in advanced tactical cockpits
A verifiable, autonomous satellite control system