Bon: Seamless, Reversible, Contract-based Analysis And Design | IEEE Conference Publication | IEEE Xplore