Experience of applying CORBA middleware to air traffic control automation systems
Advanced real-time embedded system tools for intelligent architectures (ARTESIA)
Designing for determinism: lessons learned from modern real-time avionics applications
System health management/vehicle health management for future manned space systems