@inproceedingsOertel2015, Author = {Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim}, Title = {A Compositional Safety Specification Using a Contract-Based Design Methodology}, Year = {2015}, Pages = {1-7}, Booktitle = {International Conference on Performance, Safety and Robustness in Complex Systems and Applications}, type = {inproceedings} @COMMENTBibtex file generated on