Model clauses for Product-as-a-Service (PaaS) contracts