Boute, R.R.Boute2021-10-172021-10-172008-05https://imec-publications.be/handle/20.500.12860/13436Formal methods and signal processingMeeting abstract