A decomposition approach to unit maintenance scheduling | Synapse