Symbolic methods applied to formal verification and synthesis in embedded systems designKarsten StrehlÉpuisé4,3Prévenez-moi
