Symbolic methods applied to formal verification and synthesis in embedded systems designKarsten StrehlUitverkocht4,3Hou mij op de hoogte