Product Modelling for Model-Based Maintenance