Safety ADD: A Tool for Safety-Contract Based Design | IEEE Conference Publication | IEEE Xplore