@inproceedingsPet2015, 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} @COMMENTBibtex file generated on