Fredrik Warg, Benjamin Vedder, Martin A. Skoglund, Andreas Söderberg. Safety ADD: A Tool for Safety-Contract Based Design. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 527-529, IEEE, 2014. [doi]
Abstract is missing.