Automatic Generation of Logical Specifications for Behavioural Models. - Radoslaw Klimek; Julia Witek (ASE Workshops, 2024)

Logic Mining from Process Logs: Towards Automated Specification and Verification. - Radoslaw Klimek; Julia Witek (CoRR, 2025)