Addressing Adequacy Concerns with Contracts: Review of Past, Present and Possible Future | IEEE Conference Publication | IEEE Xplore