MBSE-Driven Implementation to Optimize Aircraft Maintenance Planning | IEEE Conference Publication | IEEE Xplore