Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl. Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. IEEE Trans. Software Eng., 48(10):4041-4059, 2022. [doi]
Abstract is missing.