Knowledge-based pilot aids: A case study in mission planning
Script-based generation and evaluation of expectations in traffic scenes
Dynamic planning and time-conflict resolution in air traffic control
A knowledge based system for traffic sign recognition
A decision making system in aviation medicine
Reusable input/output packages for ada avionic applications
Constructing a pilot library of components for avionic systems
Formally specifying the logic of an automatic guidance controller
Testing and integrating a large embedded real-time system
Introducing HOOD into software process modelling based environments
A modular system for traffic flow simulations at intersections and in networks
CASE support for large systems
Ada in safety critical applications
Ada as high level language for real time systems exploiting RDBMS techniques
Role of VDM(++) in the development of a real-time tracking and tracing system
A neural adaptive controller for a turbofan exhaust nozzle
Fuzzy concepts for predicting the behaviour of other drivers on a highway
A safe, reliable control and supervisory system for railway networks
Planning the transition to Ada 95 for a large real-time project
Assessment and certification requirements in the European railway industry