Generation of Synthetic Business Process Traces using Constraint Programming - Piotr Wiśniewski; Krzysztof Kluza; Antoni Ligęza; Anna Suchenia (Annals of computer science and information systems)