Formalization of a Product-Process-Resource Model within Aircraft Component Maintenance, Repair, and Overhaul. - Maximilian Rappl; Max Luca Bergmann; Alexander Fay (INDIN, 2023)