Digital Twin: Toward the Integration Between System Design and RAMS Assessment Through the Model-Based Systems Engineering | IEEE Journals & Magazine | IEEE Xplore