A verifiable, autonomous satellite control system
Security audit for embedded avionics systems
Laboratory concepts in avionics software
Digital map integration in advanced tactical cockpits
AJACS : applying Java to automotive control systems
Use of Data Mining for Root Cause Analysis of Traffic Accidents in Colombia