ASTRO: an optimized human-computer interface for satellite control network scheduling
GPS-based vessel position monitoring and display system
Automatic vehicle location systems: a tool for computer aided dispatch systems of the future
Future automatic test equipment portable maintenance aids
A tool for testing and simulation of avionic and spacecraft systems
Workload redistribution for fault-tolerance in a hard real-time distributed computing system
Fault tolerant fiber optic flight control system
Specification and verification of the ASOS kernel
Real-time operating system for advanced avionics architecture
Cockpit displays for a knowledge-based system: the intelligent air attack system
PEX: a reactive procedure based decision maker (Satellite control application)
Integration of terrain elevation and feature data for tomorrow's cockpits