iContract-the Java/sup TM/ design by Contract/sup TM/ tool | IEEE Conference Publication | IEEE Xplore