Mathematical Framework for Early System Design Validation Using Multidisciplinary System Models