A Framework for PSS Business Models: Formalization and Application · Study