@inproceedings{orawski:hal-01526146,
  TITLE = {{Life-Cycle Oriented Requirement Formalization and Traceability}},
  AUTHOR = {Orawski, Robert and Hepperle, Clemens and Schenkl, Sebastian and M{\"o}rtl, Markus and Lindemann, Udo},
  URL = {https://inria.hal.science/hal-01526146},
  NOTE = {Part 2: PLM Ecosystem},
  BOOKTITLE = {{9th International Conference on Product Lifecycle Management (PLM)}},
  ADDRESS = {Montreal, QC, Canada},
  EDITOR = {Louis Rivest and Abdelaziz Bouras and Borhen Louhichi},
  PUBLISHER = {{Springer}},
  SERIES = {Product Lifecycle Management. Towards Knowledge-Rich                    Enterprises},
  VOLUME = {AICT-388},
  PAGES = {124-133},
  YEAR = {2012},
  MONTH = Jul,
  DOI = {10.1007/978-3-642-35758-9\_11},
  KEYWORDS = {Requirements Engineering ; Life Cycle Phases ; Structural Complexity Management ; Requirements Module ; Change Propagation},
  PDF = {https://inria.hal.science/hal-01526146/file/978-3-642-35758-9_11_Chapter.pdf},
  HAL_ID = {hal-01526146},
  HAL_VERSION = {v1},
}