@inproceedings{oertel:hal-01466666,
  TITLE = {{Reducing Re-verification Effort by Requirement-Based Change Management}},
  AUTHOR = {Oertel, Markus and Rettberg, Achim},
  URL = {https://inria.hal.science/hal-01466666},
  NOTE = {Part 3: Verification},
  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 = {104-115},
  YEAR = {2013},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-38853-8\_10},
  KEYWORDS = {change management ; system consistency ; verification and validation ; formal methods ; safety critical embedded systems ; model-based design},
  PDF = {https://inria.hal.science/hal-01466666/file/978-3-642-38853-8_10_Chapter.pdf},
  HAL_ID = {hal-01466666},
  HAL_VERSION = {v1},
}