Return to Article Details Methodology for testing languages for embedded avionics systems Download Download PDF