A Model of Air Combat Decisions
Script-based generation and evaluation of expectations in traffic scenes
Dynamic planning and time-conflict resolution in air traffic control
Knowledge-based pilot aids: A case study in mission planning
Computers in railway management
Computer applications in spacecraft design and operation
A knowledge based system for traffic sign recognition
A decision making system in aviation medicine
Formally specifying the logic of an automatic guidance controller
Reusable input/output packages for ada avionic applications
Constructing a pilot library of components for avionic systems
Introducing HOOD into software process modelling based environments
Ada in safety critical applications
Ada as high level language for real time systems exploiting RDBMS techniques
Testing and integrating a large embedded real-time system
A modular system for traffic flow simulations at intersections and in networks
CASE support for large systems