2024-07-092024-07-092024-07-090925-9856https://infoscience.epfl.ch/handle/20.500.14299/60936Formal Methods In System Design