1 paper
Tobias Sehnke, Matthias Schultalbers, Rolf Ernst
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…