Defining Cases and Variants for Object-Centric Event Data | IEEE Conference Publication | IEEE Xplore