Formalization of a Product-Process-Resource Model within Aircraft Component Maintenance, Repair, and Overhaul | IEEE Conference Publication | IEEE Xplore