Visio (Eaton) Statemate (Visteon, Ford) Matlab/Simulink (Eaton, Ford, Visteon, USAF, Boeing) DOORS (Eaton, Ford, Visteon) IBM Rational / Rhapsody (Eaton) Data Flow Diagrams Functional Block Diagrams State Transition Diagrams Structured Analysis Analytical Hierarchical Process (AHP) Quality Functional Deployment (QFD)