Process mining techniques for managing and improving healthcare systems. (2023)