@inproceedings{oertel2013reducing,Author = {Oertel, Markus and Rettberg, Achim},Title = {Reducing Re-verification Effort by Requirement-Based Change Management},Year = {2013},Pages = {104-115},Publisher = {Springer Berlin Heidelberg},Booktitle = {Embedded Systems: Design, Analysis and Verification},type = {inproceedings}}@COMMENT{Bibtex file generated on }