A methodological approach to engineer a Product-Service System