2024-07-102024-07-102024-07-10https://infoscience.epfl.ch/handle/20.500.14299/14693638th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems