@inproceedings{reinkemeier:hal-01466672,
  TITLE = {{Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction}},
  AUTHOR = {Reinkemeier, Philipp and Stierand, Ingo},
  URL = {https://inria.hal.science/hal-01466672},
  NOTE = {Part 5: ARAMIS Special Session},
  BOOKTITLE = {{4th International Embedded Systems Symposium (IESS)}},
  ADDRESS = {Paderborn, Germany},
  EDITOR = {Gunar Schirner and Marcelo G{\"o}tz and Achim Rettberg and Mauro C. Zanella and Franz J. Rammig},
  PUBLISHER = {{Springer}},
  SERIES = {Embedded Systems: Design, Analysis and Verification},
  VOLUME = {AICT-403},
  PAGES = {181-192},
  YEAR = {2013},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-38853-8\_17},
  PDF = {https://inria.hal.science/hal-01466672/file/978-3-642-38853-8_17_Chapter.pdf},
  HAL_ID = {hal-01466672},
  HAL_VERSION = {v1},
}