Correct and non-defensive glue design using abstract models | IEEE Conference Publication | IEEE Xplore