Temporal Properties in Component-Based Cyber Physical Systems - Appendix
Systems and Control
2017-11-28 v1
Abstract
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.
Cite
@article{arxiv.1711.09130,
title = {Temporal Properties in Component-Based Cyber Physical Systems - Appendix},
author = {Tobias Sehnke and Matthias Schultalbers and Rolf Ernst},
journal= {arXiv preprint arXiv:1711.09130},
year = {2017}
}