  In this document, we provide supplementary material to a paper that will be
published in ERTS2. It includes a more detailed description of the described
requirement transformations, outlined in the paper. For this purpose, we also
provide a formal description of the temporal semantics model.
