A methodology for modeling the verification, validation, and testing process for launch vehicles