2024-07-102024-07-102024-07-10https://infoscience.epfl.ch/handle/20.500.14299/973179th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)