Testing the effects of violating component axioms in validation of complex aircraft systems