Formal aspects of component software 20th international conference, FACS 2024, Milan, Italy, September 9–10, 2024, proceedings - Marmsoler, Diego; Sun, Meng (Lecture notes in computer science, 2024)