The STSLib Project: Towards a Formal Component Model Based on STS