Java Bytecode Verification with OCL Why, How and Whenc. - Christoph Bockisch; Gabriele Taentzer; Nebras Nassar; Lukas Wydra (J. Object Technol., 2020)