Choreographic Automata: A Case Study in Healthcare Management. - Sourabh Pal; Ivan Lanese; Massimo Clo (COORDINATION, 2024)