gLTSdiff: a generalized framework for structural comparison of software behavior. - Hendriks, Dennis; Oortwijn, Wytse (Software & Systems Modeling, 2025)