[2209.10897] Process Modeling and Conformance Checking in Healthcare: A COVID-19 Case Study