@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 }