Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems
Life Cycle Cost - Techniques and Applications
Step & Repeat: Reduce Derivative Aircraft Development Risk with Design Reuse
Constructing Development Assurance Plan for Integrated Systems
Reviews and Configuration Audits