VIRTUAL HILS : A Model-Based Control Software Validation Method