Automata Models for Effective Bug Pattern DescriptionTom YaacovGera Weisset al.2025MODELS 2025Conference paper