The selection of an Ada compiler for a real-time embedded avionics application
Ada in the post deployment software support environment
Design and test strategies for a safety-critical embedded executive
New competitive strategies for searching in unknown star-shaped polygons
Integrated premission planning and execution for unmanned ground vehicles
Reusing single system requirements from application family requirements
ASDEN: a comprehensive design framework vision for automotive electronic control systems
Rendering effective route maps: improving usability through generalization
Investigating the readability of state-based formal requirements specification languages