2024-07-122024-07-122024-07-12https://infoscience.epfl.ch/handle/20.500.14299/2169546th International Conference on Reliable Software Technologies - Ada-Europe'2001