Tool demonstration: CHET: checking specifications in Java systems | IEEE Conference Publication | IEEE Xplore