Reliability Analysis of Complex NASA Systems with Model-Based Engineering | IEEE Conference Publication | IEEE Xplore