@inproceedings{Pet2015,
Author = {Peter Battram and Bernhard Kaiser and Raphael Weber},
Title = {A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design},

Year = {2015},
Pages = {185-197},
Month = {3},
Booktitle = {1st International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }