Text this: Formalisation of the component specification