Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
BEHAVIOR DRIVEN DEVELOPMENT FOR AIRBORNE SOFTWARE ENGINEERING
Non-disruptive development of a next-generation CAD application program
APPLYING NASA IV&V METHODOLOGIES TO COMMERCIAL AIRCRAFT FLIGHT SOFTWARE
Utilizing Event-B for domain engineering: a critical analysis
Optical Imaging Evaluation of Impact Damage Resistance Testing on Exterior Finishes