Radoslaw Klimek Julia Witek Automatic Generation of Logical Specifications for Behavioural Models. 1-7 2024 ASE Workshops https://doi.org/10.1145/3691621.3694927 conf/kbse/2024w db/conf/kbse/ase2024w.html#KlimekW24