MBSE Applications to Optimize Predictive Maintenance Scheduling in Military Aviation | IEEE Conference Publication | IEEE Xplore