2024-07-092024-07-092024-07-091084-4309https://infoscience.epfl.ch/handle/20.500.14299/7745ACM Transactions on Design Automation for Embedded Systems (TODAES)