Hendricx, StefanStefanHendricxClaesen, LucLucClaesen2021-10-062021-10-061999https://imec-publications.be/handle/20.500.12860/3499Verification of finite-state-machine refinements using a symbolic technologyProceedings paper