Leveraging MBSE to Analyze Reliability, Availability & Maintainability for System-of-Systems | IEEE Conference Publication | IEEE Xplore