An MBSE approach for Virtual Verification & Validation of Systems with Digital Twins. - Rene Honcak; Ana Wooley (MoDELS (Companion), 2024)