2024-07-102024-07-102024-07-100164-1212https://infoscience.epfl.ch/handle/20.500.14299/107394Journal of Systems and Software