An AADL Model-Based Safety Analysis Method for Flight Control Software
Design of Flight Control Software for Small Unmanned Aerial Vehicle Based on VxWorks
Flight Software Application Framework Simplifies Development for RBSP Spacecraft
Flight Software Engineering Lessons.